Use CBMC 6.1.1

tautschnig · Jul 31, 2024 · c968d65 · c968d65
1 parent 2a3fd06
commit c968d65
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,6 +1,6 @@
 CBMC_MAJOR="6"
 CBMC_MINOR="1"
-CBMC_VERSION="6.1.0"
+CBMC_VERSION="6.1.1"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"

diff --git a/tests/perf/s2n-quic b/tests/perf/s2n-quic