From c968d6588c48a7b4f741375dbacf3a032dc88c35 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 31 Jul 2024 06:58:13 +0000
Subject: [PATCH] Use CBMC 6.1.1

---
 kani-dependencies   | 2 +-
 tests/perf/s2n-quic | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kani-dependencies b/kani-dependencies
index 103963db8c8e..421188a08762 100644
--- 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
index cc4e6d023f8e..71f8d9f5aafb 160000
--- a/tests/perf/s2n-quic
+++ b/tests/perf/s2n-quic
@@ -1 +1 @@
-Subproject commit cc4e6d023f8edf92fea294dcaea2fd5a1132cb47
+Subproject commit 71f8d9f5aafbf59f31ad85eeb7b4b67a7564a685