Code

[WIP] Filter generated assertions#6688

Code

Draft

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

tautschnig:feature/goto_check_filtertautschnig/cbmc:feature/goto_check_filterCopy head branch name to clipboard

Commits

Commits on Mar 8, 2022

• Replace the goto_check indirection by direct use of goto_check_c

  Show description for e14e33d
  tautschnig

  committed
  e14e33d

  Copy full SHA for e14e33d

• Filter generated assertions according to command-line settings

  Show description for dd7cd37
  tautschnig

  committed
  dd7cd37

  Copy full SHA for dd7cd37