From fdeb1a9742167e6136143a18f8c63bc6913ddb3a Mon Sep 17 00:00:00 2001 From: Rod Chapman Date: Tue, 3 Sep 2024 14:30:25 +0000 Subject: [PATCH] Update to CBMC 6.2.0 Signed-off-by: Rod Chapman --- .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 6c44d965a6b..e78177d0427 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: "6.1.0" +cbmc-version: "6.2.0" cbmc-viewer-version: latest kissat-tag: latest litani-version: latest