Bump CBMC version to 5.55.0 (rust-lang#1044)

Author: zhassan-aws

docs/src/install-guide.md

@@ -9,7 +9,7 @@ In general, the following dependencies are required.
 > OS.
 
 1. Cargo installed via [rustup](https://rustup.rs/)
-2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.54.0)
+2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.55.0)
 3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (>= 2.10)
 
 Kani has been tested in [Ubuntu](#install-dependencies-on-ubuntu) and [macOS](##install-dependencies-on-macos) platforms.

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 54
+check-cbmc-version.py --major 5 --minor 55
 check-cbmc-viewer-version.py --major 2 --minor 10
 
 # Formatting check

scripts/setup/ubuntu/install_cbmc.sh

@@ -5,7 +5,7 @@
 set -eu
 
 UBUNTU_VERSION=$(lsb_release -rs)
-CBMC_VERSION=5.54.0
+CBMC_VERSION=5.55.0
 FILE="ubuntu-${UBUNTU_VERSION}-cbmc-${CBMC_VERSION}-Linux.deb"
 URL="https://github.com/diffblue/cbmc/releases/download/cbmc-${CBMC_VERSION}/$FILE"