Bump CBMC Viewer version to 3.2

model-checking · May 6, 2022 · 7a1efd8 · 7a1efd8
1 parent 9fd3161
commit 7a1efd8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 9 deletions.
diff --git a/.github/actions/setup/action.yml b/.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

diff --git a/docs/src/install-guide.md b/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