Code

Invariant cleanup builtin functions#2970

Code

Closed

hannes-steffenhagen-diffblue wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:invariant_cleanup-builtin_functionshannes-steffenhagen-diffblue/cbmc:invariant_cleanup-builtin_functionsCopy head branch name to clipboard

Commits

Commits on Sep 17, 2018

• Escape braces in regression test regexes

  hannes-steffenhagen-diffblue

  committed
  49643fa

  Copy full SHA for 49643fa

• invariant cleanup builtin_functions.cpp

  hannes-steffenhagen-diffblue

  committed
  5b53766

  Copy full SHA for 5b53766