Code

Insert final assert false pass#4985

Code

Merged

karkhaz merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

nchong-at-aws:insert-final-assert-false-passnchong-at-aws/cbmc:insert-final-assert-false-passCopy head branch name to clipboard

Aug 19, 2019

Commits

Commits on Aug 19, 2019

• Add --insert-final-assert-false to goto-instrument

  Show description for 639ef81
  nchong-at-aws

  committed
  639ef81

  Copy full SHA for 639ef81