Adjust proof tooling to support CBMC v6 (#128)

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. Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
aws · Sep 25, 2024 · 892ce01 · 892ce01
1 parent 212ca88
commit 892ce01
Show file tree

Hide file tree

Showing 2 changed files with 214 additions and 184 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -146,6 +146,8 @@ jobs:
  steps:
  - name: Set up CBMC runner
  uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
+ with:
+ cbmc_version: "6.1.1"
  - name: Run CBMC
  uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main
  with: