From fdfe306d2fda3c782fdecadd0a43c7d747767c4d Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 10 Jun 2024 19:21:20 +0200 Subject: [PATCH] Use CBMC version 5.95.1 (#164) The upcoming CBMC version 6 release includes changes that may affect existing proofs. This PR will make sure that coreJSON PRs are not negatively impacted by this release. After releasing CBMC version 6 we will issue a follow-up PR that will return coreJSON 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1f012dfb..7b3aaae7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -161,7 +161,7 @@ jobs: - name: Set up CBMC runner uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main with: - cbmc_version: "latest" + cbmc_version: "5.95.1" cadical_tag: "latest" kissat_tag: "latest" - name: Run CBMC