Code

Add benchcomp filter command#3105

Code

Merged

karkhaz merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom karkhaz:kk-benchcomp-filterkarkhaz/kani:kk-benchcomp-filterCopy head branch name to clipboardMar 26, 2024

+227-6

Commits

Commits on Mar 25, 2024

• Add benchcomp filter command

  Show description for 8260439
  karkhaz

  committed
  8260439

  Copy full SHA for 8260439

• Merge branch 'main' into kk-benchcomp-filter

  karkhaz

  authored
  0d8bcd3

  Copy full SHA for 0d8bcd3

Commits on Mar 26, 2024

• Clarify that filter scripts can emit JSON

  karkhaz

  committed
  4da7143

  Copy full SHA for 4da7143