Code

Docs for incremental SMT backed#7005

Code

Merged

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

esteffin:esteffin/smt-args-docsesteffin/cbmc:esteffin/smt-args-docsCopy head branch name to clipboard

Jul 13, 2022

Commits

Commits on Jul 13, 2022

• Add README.md for new incremental smt backend

  

  Enrico Steffinlongo

  committed
  c420544

  Copy full SHA for c420544

• Added man entry for --incremental-smt2-solver

  

  Enrico Steffinlongo

  committed
  2610713

  Copy full SHA for 2610713