Upgrade minimum CBMC version to 5.48.0 (rust-lang#732)

* Upgraded minimum CBMC version to 5.48.0

* Enable vtable restrictions test

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. Cargo installed via rustup
-2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.43.0)
+2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.48.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 43
+check-cbmc-version.py --major 5 --minor 48
 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.43.0-Linux.deb"
-URL="https://github.com/diffblue/cbmc/releases/download/cbmc-5.43.0/$FILE"
+FILE="ubuntu-${UBUNTU_VERSION}-cbmc-5.48.0-Linux.deb"
+URL="https://github.com/diffblue/cbmc/releases/download/cbmc-5.48.0/$FILE"
 
 set -x