Code

Remove deprecated exprt::make_true#3490

Code

Merged

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-make_truetautschnig/cbmc:no-make_trueCopy head branch name to clipboard

Dec 4, 2018

Commits

Commits on Dec 3, 2018

• Remove deprecated exprt::make_true

  Show description for d33be42
  tautschnig

  committed
  d33be42

  Copy full SHA for d33be42