From 93cac735754db6beb2082954527e291582a4aede Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 6 Jun 2024 09:55:12 +0000 Subject: [PATCH] Use CBMC version 5.95.1 The upcoming CBMC version 6 release includes changes that may affect existing proofs. This PR will make sure that Device-Defender-for-AWS-IoT-embedded-sdk PRs are not negatively impacted by this release. After releasing CBMC version 6 we will issue a follow-up PR that will return Device-Defender-for-AWS-IoT-embedded-sdk to using CBMC's latest release, and will include any changes to proofs that may be necessary to support the new version. --- .github/workflows/ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 98648e0..957f3ad 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -141,7 +141,9 @@ jobs: steps: - name: Set up CBMC runner uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main + with: + cbmc_version: "5.95.1" - name: Run CBMC uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main with: - proofs_dir: test/cbmc/proofs \ No newline at end of file + proofs_dir: test/cbmc/proofs