From 7d392fd90e209296fc9c987cbb87a6dd86d892ba Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 9 Aug 2024 08:21:53 +0200 Subject: [PATCH] Bump CBMC version to 5.95.1 (#174) This will make proofs use the latest stable release of CBMC (and cbmc-viewer). Co-authored-by: chinglee-iot <61685396+chinglee-iot@users.noreply.github.com> --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5876b0d2..f4585b28 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -167,8 +167,8 @@ jobs: - name: Set up CBMC runner uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main with: - cbmc_version: "5.61.0" - cbmc_viewer_version: "3.5" + cbmc_version: "5.95.1" + cbmc_viewer_version: "latest" kissat_tag: latest - run: | git submodule update --init --checkout --recursive