Code

Heapster bugfixes for tcCFG#1414

Code

Merged

eddywestbrook merged 6 commits intomasterGaloisInc/saw-script:masterfrom heapster-bugfixes-tccfgGaloisInc/saw-script:heapster-bugfixes-tccfgCopy head branch name to clipboardAug 10, 2021

+86-43

Commits

Commits on Aug 9, 2021

• updated TypedBlockIDs so that they print as the same string as the Crucible BlockIDs they were created from

  

  Eddy Westbrook

  committed
  47974e2

  Copy full SHA for 47974e2

• bug fix: deleteEntryCallees was keeping the call sites it was supposed to delete!

  

  Eddy Westbrook

  committed
  606ac8e

  Copy full SHA for 606ac8e

• limiting tcCFG to 5 iterations that allow widening before we have to stop

  

  Eddy Westbrook

  committed
  5345973

  Copy full SHA for 5345973

• change the main tcCFG loop to allow it to iterate twice after the last widening iteration, to allow everything to quiesce

  

  Eddy Westbrook

  committed
  0678642

  Copy full SHA for 0678642

Commits on Aug 10, 2021

• incorporated some small tweaks suggested by Eric Mertens

  

  Eddy Westbrook

  committed
  7416777

  Copy full SHA for 7416777

• Merge remote-tracking branch 'origin/master' into heapster-bugfixes-tccfg

  

  Eddy Westbrook

  committed
  df11268

  Copy full SHA for df11268