bump cbmc to v5.89.0 (#2662)

Co-authored-by: Remi Delmas <delmasrd@amazon.com> Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
model-checking · Aug 5, 2023 · 59a7277 · 59a7277
1 parent 952d324
commit 59a7277
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,4 +1,4 @@
-CBMC_VERSION="5.88.1"
+CBMC_VERSION="5.89.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
@@ -19,7 +19,7 @@ KANI_DIR=$SCRIPT_DIR/..
 export KANI_FAIL_ON_UNEXPECTED_DESCRIPTION="true"
 
 # Required dependencies
-check-cbmc-version.py --major 5 --minor 88
+check-cbmc-version.py --major 5 --minor 89
 check-cbmc-viewer-version.py --major 3 --minor 8
 check_kissat_version.sh