Bump CBMC version to 5.95.1

This will make proofs use the latest stable release of CBMC.
FreeRTOS · Jun 6, 2024 · f66ee2f · f66ee2f
1 parent 59ae473
commit f66ee2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -179,7 +179,7 @@ jobs:
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
           kissat_tag: latest
-          cbmc_version: "5.73.0"
+          cbmc_version: "5.95.1"
       - run: |
           git submodule update --init --recursive --checkout
           sudo apt-get update