Code

Add counting number of solver calls#4218

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:count-solver-callspeterschrammel/cbmc:count-solver-callsCopy head branch name to clipboard

Feb 19, 2019

Commits

Commits on Feb 18, 2019

• Use override

  peterschrammel

  committed
  f614c70

  Copy full SHA for f614c70

• Add protected do_prop_solve for overriding

  Show description for 7cb1056
  peterschrammel

  committed
  7cb1056

  Copy full SHA for 7cb1056

• Count number of solver calls in propt and prop_convt

  Show description for 36feadd
  peterschrammel

  committed
  36feadd

  Copy full SHA for 36feadd