Code

Remove unused option "simplify-if"#6919

Code

Merged

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/simplify-iftautschnig/cbmc:cleanup/simplify-ifCopy head branch name to clipboard

Jun 13, 2022

Commits

Commits on Jun 9, 2022

• Remove unused option "simplify-if"

  Show description for 4790e60
  tautschnig

  committed
  4790e60

  Copy full SHA for 4790e60