Use CBMC 6.1.0

tautschnig · Jul 23, 2024 · 9d2e3e5 · 9d2e3e5
1 parent df95895
commit 9d2e3e5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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.