Code

Abort after failing C assert#5866

Code

Closed

tautschnig wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c-asserttautschnig/cbmc:c-assertCopy head branch name to clipboard

Commits

Commits on Feb 10, 2022

• Regression tests: use __CPROVER_assert when multiple properties may fail

  Show description for 08c5cde
  tautschnig

  committed
  08c5cde

  Copy full SHA for 08c5cde

• Abort after failing C assert

  Show description for 76491eb
  tautschnig

  committed
  76491eb

  Copy full SHA for 76491eb