Code

Improved invariants#1063

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:smowton/feature/improved_invariantssmowton/cbmc:smowton/feature/improved_invariantsCopy head branch name to clipboard

Jul 24, 2017

Commits

Commits on Jul 23, 2017

• Allow invariants with structured exceptions

  smowton

  committed
  493e9be

  Copy full SHA for 493e9be