Code

Add --no-simplify-phi option#7391

Code

Draft

peterschrammel wants to merge 3 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:no-simplify-phipeterschrammel/cbmc:no-simplify-phiCopy head branch name to clipboard

Commits

Commits on Nov 27, 2022

• Add --no-simplify-phi option

  Show description for a89ee3a
  peterschrammel

  committed
  a89ee3a

  Copy full SHA for a89ee3a

• Remove orphaned --no-simplify-if option

  Show description for 0cc5859
  peterschrammel

  committed
  0cc5859

  Copy full SHA for 0cc5859

• Centralize symex simplify help

  Show description for 5ddeafe
  peterschrammel

  committed
  5ddeafe

  Copy full SHA for 5ddeafe