Code

Fix if-then-else simplifications#2356

Code

Merged

peterschrammel merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:fix-goto-simplificationpeterschrammel/cbmc:fix-goto-simplificationCopy head branch name to clipboard

Jun 15, 2018

Commits

Commits on Jun 15, 2018

• Test for if-then-else optimisation in goto convert

  Show description for d433438
  peterschrammel

  committed
  d433438

  Copy full SHA for d433438

• Temporary fix to enable if-then-else simplifications

  Show description for 4394016
  peterschrammel

  committed
  4394016

  Copy full SHA for 4394016