Upgrade to cbmc 5.43.0 (rust-lang#616)

* Upgraded minimum CBMC version to 5.43.0

* Temporarily enabled `brew update` to get the latest CBMC release

Author: zhassan-aws

rmc-docs/src/install-guide.md

@@ -5,7 +5,7 @@ RMC must currently be built from source.
 In general, the following dependencies are required:
 
 1. The dependencies needed to built `rustc`. RMC is a fork of the Rust compiler, and so we have the same minimum requirements.
-2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.36.0)
+2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.43.0)
 3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (>= 2.6)
 
 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.

scripts/rmc-regression.sh

@@ -14,7 +14,7 @@ EXTRA_X_PY_BUILD_ARGS="${EXTRA_X_PY_BUILD_ARGS:-}"
 RMC_DIR=$SCRIPT_DIR/..
 
 # Required dependencies
-check-cbmc-version.py --major 5 --minor 30
+check-cbmc-version.py --major 5 --minor 43
 check-cbmc-viewer-version.py --major 2 --minor 5
 
 # Formatting check

scripts/setup/macos-10.15/install_deps.sh

@@ -7,7 +7,7 @@ set -eux
 # Github promises weekly build image updates, so we can skip the update step and
 # worst case we should only be 1-2 weeks behind upstream brew.
 # https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners#supported-software
-#brew update
+brew update
 
 # Install dependencies via `brew`
 brew install ctags

scripts/setup/ubuntu/install_cbmc.sh

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