Code

remove support for SMT1#2135

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

solver-cleanoutdiffblue/cbmc:solver-cleanoutCopy head branch name to clipboard

Apr 30, 2018

Commits

Commits on Apr 28, 2018

• remove support for SMT1

  

  Daniel Kroening

  committed
  218dc31

  Copy full SHA for 218dc31

• remove OpenSMT

  

  Daniel Kroening

  committed
  a2d9822

  Copy full SHA for a2d9822