From 7deaa0e39404113cf1d533771c1a83b6e13a76f4 Mon Sep 17 00:00:00 2001 From: Kareem Khazem Date: Tue, 18 Apr 2023 17:40:04 +0100 Subject: [PATCH] Bump CBMC version Upgrade CBMC version to 5.81.0. --- kani-dependencies | 2 +- scripts/kani-regression.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kani-dependencies b/kani-dependencies index 19aa1398db33..815e3c16d8df 100644 --- a/kani-dependencies +++ b/kani-dependencies @@ -1,4 +1,4 @@ -CBMC_VERSION="5.80.0" +CBMC_VERSION="5.81.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" diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh index edae93a06494..f08d27d809a7 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 80 +check-cbmc-version.py --major 5 --minor 81 check-cbmc-viewer-version.py --major 3 --minor 8 check_kissat_version.sh