From 9d2e3e556eb8950706cb24dc4c1137a6023bdc24 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 23 Jul 2024 07:10:06 +0000
Subject: [PATCH] Use CBMC 6.1.0

---
 kani-dependencies                               | 4 ++--
 tests/ui/concrete-playback/unsupported/expected | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/kani-dependencies b/kani-dependencies
index 61bdf696b23b..8b9f821f11a8 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,6 +1,6 @@
 CBMC_MAJOR="6"
-CBMC_MINOR="0"
-CBMC_VERSION="6.0.1"
+CBMC_MINOR="1"
+CBMC_VERSION="6.1.0"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"
diff --git a/tests/ui/concrete-playback/unsupported/expected b/tests/ui/concrete-playback/unsupported/expected
index 5d7424e34cf2..67952ac37055 100644
--- a/tests/ui/concrete-playback/unsupported/expected
+++ b/tests/ui/concrete-playback/unsupported/expected
@@ -1,2 +1,2 @@
-Failed Checks: unwinding assertion loop 1
+Failed Checks: unwinding assertion loop 0
 WARNING: Kani could not produce a concrete playback for `check_unwind_fail` because there were no failing panic checks or satisfiable cover statements.