Bump CBMC Viewer version to 3.2 (model-checking#1177)

Author: zhassan-aws

.github/actions/setup/action.yml

@@ -8,12 +8,6 @@ inputs:
 runs:
   using: composite
   steps:
-      # This is unfortunate, but cbmc-viewer currently requires Python >= 3.8
-      - name: Install Python 3.9
-        uses: actions/setup-python@v2
-        with:
-          python-version: '3.9'
-
       - name: Install dependencies
         run: ./scripts/setup/${{ inputs.os }}/install_deps.sh
         shell: bash
@@ -23,7 +17,7 @@ runs:
         shell: bash
 
       - name: Install cbmc-viewer
-        run: ./scripts/setup/install_viewer.sh 2.11
+        run: ./scripts/setup/install_viewer.sh 3.2
         shell: bash
 
       - name: Install Rust toolchain

docs/src/install-guide.md

@@ -55,7 +55,7 @@ cd kani
 git submodule update --init
 ./scripts/setup/ubuntu/install_deps.sh
 ./scripts/setup/ubuntu/install_cbmc.sh
-./scripts/setup/install_viewer.sh 2.11
+./scripts/setup/install_viewer.sh 3.2
 ./scripts/setup/install_rustup.sh
 # If you haven't already:
 source $HOME/.cargo/env
@@ -72,7 +72,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.11
+./scripts/setup/install_viewer.sh 3.2
 ./scripts/setup/install_rustup.sh
 # If you haven't already:
 source $HOME/.cargo/env