Update to CBMC 5.50 minimum version (rust-lang#806)

Author: tedinski

docs/src/install-guide.md

@@ -5,7 +5,7 @@ Kani must currently be built from source.
 In general, the following dependencies are required. Note: These dependencies may be installed by running the CI scripts shown below and there is no need to install them separately, for their respective OS.
 
 1. Cargo installed via rustup
-2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.48.0)
+2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.50.0)
 3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (>= 2.6)
 
 ## Installing on Ubuntu 20.04

scripts/kani-regression.sh

@@ -24,7 +24,7 @@ EXTRA_X_PY_BUILD_ARGS="${EXTRA_X_PY_BUILD_ARGS:-}"
 KANI_DIR=$SCRIPT_DIR/..
 
 # Required dependencies
-check-cbmc-version.py --major 5 --minor 48
+check-cbmc-version.py --major 5 --minor 50
 check-cbmc-viewer-version.py --major 2 --minor 5
 
 # Formatting check

scripts/setup/ubuntu/install_cbmc.sh

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