Code

SV-COMP support patches (from #363)#734

Code

Merged

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:sv-comp-supporttautschnig/cbmc:sv-comp-supportCopy head branch name to clipboard

Apr 4, 2017

Commits

Commits on Mar 30, 2017

• SV-COMP's __VERIFIER_error is assert(0); abort();

  Show description for b1fd150
  tautschnig

  committed
  b1fd150

  Copy full SHA for b1fd150

• Graphml output: do not output assumptions containing internal identifiers

  tautschnig

  committed
  24a9ca0

  Copy full SHA for 24a9ca0

• GraphML witnesses: code cleanup, output nondet return values

  tautschnig

  committed
  df0890b

  Copy full SHA for df0890b