chore: update CBMC version

tautschnig · tautschnig · commit cfe17ecea93b · 2024-04-24T09:15:41.000Z
Use most recent release for CBMC proofs.
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.63.0"
+cbmc-version: "5.95.1"
 cbmc-viewer-version: latest
 kissat-tag: latest
 litani-version: latest
