Upgrade CBMC Viewer to 2.10 (rust-lang#872)

- This should include a fix to hidden statements.
- This also fix our CI after older versions of the viewer mysteriously disappeared.

.github/actions/build/action.yml

@@ -19,7 +19,7 @@ runs:
         shell: bash
 
       - name: Install cbmc-viewer
-        run: ./scripts/setup/install_viewer.sh 2.6
+        run: ./scripts/setup/install_viewer.sh 2.10
         shell: bash
 
       - name: Install Rust toolchain

docs/src/install-guide.md

@@ -6,7 +6,7 @@ In general, the following dependencies are required. Note: These dependencies ma
 
 1. Cargo installed via rustup
 2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.50.0)
-3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (>= 2.6)
+3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (>= 2.10)
 
 ## Installing on Ubuntu 20.04
 
@@ -19,7 +19,7 @@ cd kani
 git submodule update --init
 ./scripts/setup/ubuntu-20.04/install_deps.sh
 ./scripts/setup/ubuntu-20.04/install_cbmc.sh
-./scripts/setup/install_viewer.sh 2.6
+./scripts/setup/install_viewer.sh 2.10
 ./scripts/setup/install_rustup.sh
 source $HOME/.cargo/env
 ```
@@ -35,7 +35,7 @@ cd kani
 git submodule update --init
 ./scripts/setup/macos-10.15/install_deps.sh
 ./scripts/setup/macos-10.15/install_cbmc.sh
-./scripts/setup/install_viewer.sh 2.6
+./scripts/setup/install_viewer.sh 2.10
 ./scripts/setup/install_rustup.sh
 source $HOME/.cargo/env
 ```

scripts/kani-regression.sh

@@ -15,7 +15,7 @@ KANI_DIR=$SCRIPT_DIR/..
 
 # Required dependencies
 check-cbmc-version.py --major 5 --minor 50
-check-cbmc-viewer-version.py --major 2 --minor 5
+check-cbmc-viewer-version.py --major 2 --minor 10
 
 # Formatting check
 ${SCRIPT_DIR}/kani-fmt.sh --check