From 0aada0c49adf835a8d88345585c5cb3afe7f283d Mon Sep 17 00:00:00 2001
From: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Date: Fri, 29 Apr 2022 13:16:51 -0700
Subject: [PATCH] Bump CBMC version to 5.56.0 (#1137)

---
 docs/src/install-guide.md            | 2 +-
 scripts/kani-regression.sh           | 2 +-
 scripts/setup/ubuntu/install_cbmc.sh | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/src/install-guide.md b/docs/src/install-guide.md
index 6f3cc26b6c101..421f6b214568c 100644
--- a/docs/src/install-guide.md
+++ b/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.55.0)
+2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.56.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.
diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh
index 887f4fabc8afb..5906488f79227 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 55
+check-cbmc-version.py --major 5 --minor 56
 check-cbmc-viewer-version.py --major 2 --minor 10
 
 # Formatting check
diff --git a/scripts/setup/ubuntu/install_cbmc.sh b/scripts/setup/ubuntu/install_cbmc.sh
index 0fbf188d8181e..ef347b138651a 100755
--- a/scripts/setup/ubuntu/install_cbmc.sh
+++ b/scripts/setup/ubuntu/install_cbmc.sh
@@ -5,7 +5,7 @@
 set -eu
 
 UBUNTU_VERSION=$(lsb_release -rs)
-CBMC_VERSION=5.55.0
+CBMC_VERSION=5.56.0
 FILE="ubuntu-${UBUNTU_VERSION}-cbmc-${CBMC_VERSION}-Linux.deb"
 URL="https://github.com/diffblue/cbmc/releases/download/cbmc-${CBMC_VERSION}/$FILE"