From c1d2ba94c0386ca8be21bdda82478a6bd637ff54 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 1 Aug 2024 07:57:53 +0200 Subject: [PATCH] Use CBMC version 5.95.1 (#1226) The upcoming CBMC version 6 release includes changes that may affect existing proofs. This PR will make sure that FreeRTOS PRs are not negatively impacted by this release. After releasing CBMC version 6 we will issue a follow-up PR that will return FreeRTOS to using CBMC's latest release, and will include any changes to proofs that may be necessary to support the new version. Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com> Co-authored-by: Nikhil Kamath <110539926+amazonKamath@users.noreply.github.com> --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4747d4904b..99122b7e3e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -168,6 +168,8 @@ jobs: - 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