From 158cad269753fd216ee35bbe8e07dd75e8ab4a19 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 23 Aug 2024 13:22:14 +0000 Subject: [PATCH] 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. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 52b0cc5..eefbc8e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -131,7 +131,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_version: "6.1.1" - name: Run CBMC uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main with: