Code

Control dependency computation fix#1858

Code

Merged

danpoe merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom danpoe:dependence-graph-fixdanpoe/cbmc:dependence-graph-fixCopy head branch name to clipboardMay 15, 2018

+536-71

Commits

Commits on May 15, 2018

• Simplified state merging in the dependence graph

  danpoe

  committed
  a408423

  Copy full SHA for a408423

• Control dependency computation fix

  Show description for 3aa6dca
  danpoe

  committed
  3aa6dca

  Copy full SHA for 3aa6dca

• Make dependence graph merge() return true when abstract state changes

  Show description for 66263ea
  danpoe

  committed
  66263ea

  Copy full SHA for 66263ea

• More dependence graph tests

  danpoe

  committed
  7002909

  Copy full SHA for 7002909