Bump to CBMC 5.60 (rust-lang#1305)

* Bump to CBMC 5.60

* bump the requires check too

Author: tedinski

docs/src/build-from-source.md

@@ -11,8 +11,8 @@ In general, the following dependencies are required to build Kani from source.
 > below and don't need to be manually installed.
 
 1. Cargo installed via [rustup](https://rustup.rs/)
-2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.59.0)
-3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (>= 3.2)
+2. [CBMC](https://github.com/diffblue/cbmc) (latest release)
+3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (latest release)
 
 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 59
+check-cbmc-version.py --major 5 --minor 60
 check-cbmc-viewer-version.py --major 3 --minor 5
 
 # Formatting check

scripts/setup/ubuntu/install_cbmc.sh

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