Code

Honour --sat-solver with refinement#7544

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/refinement-sat-solvertautschnig/cbmc:features/refinement-sat-solverCopy head branch name to clipboard

Feb 16, 2023

Commits

Commits on Feb 16, 2023

• Refactor solver_factoryt::get_default

  Show description for d6bf5a1
  tautschnig

  committed
  d6bf5a1

  Copy full SHA for d6bf5a1

• Remove now-unused solver_factoryt::solvert methods

  Show description for 6e9834c
  tautschnig

  committed
  6e9834c

  Copy full SHA for 6e9834c

• Honour --sat-solver with refinement

  Show description for f1be42c
  tautschnig

  committed
  f1be42c

  Copy full SHA for f1be42c