Adjust proof tooling to support CBMC v6

With CBMC v6, unwinding assertions are enabled by default, and object bits no longer need to be set at compile time. Update various build rules to use the latest template as provided with CBMC starter kit.
FreeRTOS · Aug 23, 2024 · 650bd8b · 650bd8b
1 parent ac1631c
commit 650bd8b
Show file tree

Hide file tree

Showing 2 changed files with 213 additions and 186 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -212,8 +212,7 @@ jobs:
       - name: Set up CBMC runner
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
-          cbmc_version: "5.95.1"
-          cbmc_viewer_version: "latest"
+          cbmc_version: "6.1.1"
       - name: Run CBMC
         uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main
         with: