Bump CBMC version to 5.95.1 (#174)

This will make proofs use the latest stable release of CBMC (and cbmc-viewer). Co-authored-by: chinglee-iot <61685396+chinglee-iot@users.noreply.github.com>
FreeRTOS · Aug 9, 2024 · 7d392fd · 7d392fd
1 parent 08f8765
commit 7d392fd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -167,8 +167,8 @@ jobs:
       - name: Set up CBMC runner
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
-          cbmc_version: "5.61.0"
-          cbmc_viewer_version: "3.5"
+          cbmc_version: "5.95.1"
+          cbmc_viewer_version: "latest"
           kissat_tag: latest
       - run: |
           git submodule update --init --checkout --recursive