Code

Test harness output#810

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:harness-outputtautschnig/cbmc:harness-outputCopy head branch name to clipboard

Sep 1, 2017

Commits

Commits on Sep 1, 2017

• goto-instrument model-argc-argv: place environment in __CPROVER__start

  Show description for 4c94e7c
  tautschnig

  committed
  4c94e7c

  Copy full SHA for 4c94e7c

• dump-c: output a generated environment via --harness

  Show description for e8e1677
  tautschnig

  committed
  e8e1677

  Copy full SHA for e8e1677

• Use invariant annotations instead of asserts

  tautschnig

  committed
  a01eeb7

  Copy full SHA for a01eeb7