chore: use CBMC version 6.1.1

This makes CBMC proofs use the latest release of CBMC, which includes better soundness safeguards.
aws · Aug 23, 2024 · 9368ec6 · 9368ec6
1 parent 42f7af6
commit 9368ec6
Show file tree

Hide file tree

Showing 2 changed files with 211 additions and 183 deletions.
diff --git a/.github/workflows/proof_ci_resources/config.yaml b/.github/workflows/proof_ci_resources/config.yaml
@@ -1,5 +1,5 @@
 cadical-tag: latest
-cbmc-version: "5.95.1"
+cbmc-version: "6.1.1"
 cbmc-viewer-version: latest
 kissat-tag: latest
 litani-version: latest