Update to CBMC 6.2.0 (aws#4746)

lrstewart · Sep 4, 2024 · 515ac62 · 515ac62
1 parent d75ec61
commit 515ac62
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: "6.1.0"
+cbmc-version: "6.2.0"
 cbmc-viewer-version: latest
 kissat-tag: latest
 litani-version: latest