Code

Improve solver factory#3588

Code

Merged

peterschrammel merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:improve-solver-factorypeterschrammel/cbmc:improve-solver-factoryCopy head branch name to clipboard

Dec 20, 2018

Commits

Commits on Dec 20, 2018

• Move solver_factoryt definitions into .cpp file

  peterschrammel

  committed
  b273ac8

  Copy full SHA for b273ac8

• Optimize imports

  peterschrammel

  committed
  b76cd5f

  Copy full SHA for b76cd5f