Skip to content

Commit

Permalink
Bump CBMC version (rust-lang#2796)
Browse files Browse the repository at this point in the history
Upgrade CBMC version to latest (5.93.0).

Resolves rust-lang#2650
  • Loading branch information
zhassan-aws authored Sep 29, 2023
1 parent ed671fc commit 964f986
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion kani-dependencies
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
CBMC_VERSION="5.92.0"
CBMC_VERSION="5.93.0"
# If you update this version number, remember to bump it in `src/setup.rs` too
CBMC_VIEWER_VERSION="3.8"
KISSAT_VERSION="3.1.1"
2 changes: 1 addition & 1 deletion scripts/kani-regression.sh
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ KANI_DIR=$SCRIPT_DIR/..
export KANI_FAIL_ON_UNEXPECTED_DESCRIPTION="true"

# Required dependencies
check-cbmc-version.py --major 5 --minor 92
check-cbmc-version.py --major 5 --minor 93
check-cbmc-viewer-version.py --major 3 --minor 8
check_kissat_version.sh

Expand Down

0 comments on commit 964f986

Please sign in to comment.