From 8710fd63b5befa6d3c98916c72ad07b84af3d4de Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 19 Jun 2024 11:24:42 +0200 Subject: [PATCH] chore: use CBMC version 5.95.1 (#4586) Co-authored-by: Lindsay Stewart --- .github/workflows/proof_ci_resources/config.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/proof_ci_resources/config.yaml b/.github/workflows/proof_ci_resources/config.yaml index b545dfde7ec..0356dd1f288 100644 --- 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