From 49f13aad27321f8411d3834f264f2a9151b5f15c Mon Sep 17 00:00:00 2001
From: tautschnig <1144736+tautschnig@users.noreply.github.com>
Date: Mon, 24 Aug 2026 05:16:51 +0000
Subject: [PATCH] Upgrade CBMC from 6.10.0 to 6.11.0

---
 kani-dependencies | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kani-dependencies b/kani-dependencies
index 43a3bdabd16..b9ea3a2fa8a 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,5 +1,5 @@
 CBMC_MAJOR="6"
-CBMC_MINOR="10"
-CBMC_VERSION="6.10.0"
+CBMC_MINOR="11"
+CBMC_VERSION="6.11.0"
 
 KISSAT_VERSION="4.0.1"