Code

Invariant with diagnostics#2906

Code

Merged

hannes-steffenhagen-diffblue merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:invariant-with-diagnosticshannes-steffenhagen-diffblue/cbmc:invariant-with-diagnosticsCopy head branch name to clipboard

Sep 7, 2018

Commits

Commits on Sep 5, 2018

• WIP Invariant with diagnostics

  hannes-steffenhagen-diffblue

  committed
  702ab09

  Copy full SHA for 702ab09

Commits on Sep 6, 2018

• Address comments by @danpoe

  hannes-steffenhagen-diffblue

  committed
  a1595ac

  Copy full SHA for a1595ac

• Remove dangling references to INVARIANT2 and INVARIANT3

  hannes-steffenhagen-diffblue

  committed
  4082396

  Copy full SHA for 4082396