From 8b1d42c9dad83903dd0a39f9a7dcbfa5c0770789 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 6 Jun 2024 10:45:36 +0000
Subject: [PATCH] Bump CBMC version to 5.95.1

This will make proofs use the latest stable release of CBMC (and
cbmc-viewer).
---
 .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