Code

Cleanup goto inline#1303

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

cleanup-goto-inlinediffblue/cbmc:cleanup-goto-inlineCopy head branch name to clipboard

Sep 7, 2017

Commits

Commits on Sep 3, 2017

• use ranged for

  

  Daniel Kroening

  committed
  5bfe346

  Copy full SHA for 5bfe346

• eliminate constrained BP calls

  

  Daniel Kroening

  committed
  29f1e2a

  Copy full SHA for 29f1e2a

• remove assert()

  

  Daniel Kroening

  committed
  9e43500

  Copy full SHA for 9e43500