From b095ba42df1723b7a3b3c4ca648690faaecc1539 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Thu, 8 Jun 2023 19:19:26 -0700 Subject: [PATCH 1/2] Update Cbmc version --- kani-dependencies | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kani-dependencies b/kani-dependencies index e8c4a6155854..9ffb59eff968 100644 --- a/kani-dependencies +++ b/kani-dependencies @@ -1,4 +1,4 @@ -CBMC_VERSION="5.84.0" +CBMC_VERSION="5.85.0" # If you update this version number, remember to bump it in `src/setup.rs` too CBMC_VIEWER_VERSION="3.8" KISSAT_VERSION="3.0.0" From 24ce5b7e14449cd83dc7c1ea05271426de021555 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Thu, 8 Jun 2023 19:21:11 -0700 Subject: [PATCH 2/2] Update regression to check for Cbmc latest --- scripts/kani-regression.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh index caee10bc2ea0..022f7e6b8518 100755 --- a/scripts/kani-regression.sh +++ b/scripts/kani-regression.sh @@ -19,7 +19,7 @@ KANI_DIR=$SCRIPT_DIR/.. export KANI_FAIL_ON_UNEXPECTED_DESCRIPTION="true" # Required dependencies -check-cbmc-version.py --major 5 --minor 84 +check-cbmc-version.py --major 5 --minor 85 check-cbmc-viewer-version.py --major 3 --minor 8 check_kissat_version.sh