chore: use CBMC version 5.95.1 (#4586)

Co-authored-by: Lindsay Stewart <slindsay@amazon.com>
aws · Jun 19, 2024 · 8710fd6 · 8710fd6
1 parent 933f379
commit 8710fd6
Showing 1 changed file with 1 addition and 1 deletion.
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: latest
+cbmc-version: "5.95.1"
 cbmc-viewer-version: latest
 kissat-tag: latest
 litani-version: latest