From 902567f29f11a879da7d3f2d72ef62884aa167d9 Mon Sep 17 00:00:00 2001 From: Michael Graeb Date: Tue, 3 Sep 2024 13:28:41 -0700 Subject: [PATCH] Run proofs with CBMC 6.2.0 --- .github/workflows/proof_ci_resources/config.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/proof_ci_resources/config.yaml b/.github/workflows/proof_ci_resources/config.yaml index 83407e8d9..fb955a76f 100644 --- a/.github/workflows/proof_ci_resources/config.yaml +++ b/.github/workflows/proof_ci_resources/config.yaml @@ -1,8 +1,8 @@ # Use exact versions (instead of "latest") so we're not broken by surprise upgrades. cadical-tag: "rel-2.0.0" # tag of latest release: https://github.com/arminbiere/cadical/releases -cbmc-version: "6.1.0" # semver of latest release: https://github.com/diffblue/cbmc/releases +cbmc-version: "6.2.0" # semver of latest release: https://github.com/diffblue/cbmc/releases cbmc-viewer-version: "3.9" # semver of latest release: https://github.com/model-checking/cbmc-viewer/releases -kissat-tag: "rel-3.1.1" # tag of latest release: https://github.com/arminbiere/kissat/releases +kissat-tag: "rel-4.0.0" # tag of latest release: https://github.com/arminbiere/kissat/releases litani-version: "1.29.0" # semver of latest release: https://github.com/awslabs/aws-build-accumulator/releases proofs-dir: verification/cbmc/proofs run-cbmc-proofs-command: ./run-cbmc-proofs.py