From 012446469eec086b92516e71b65b1bd67ff59eb4 Mon Sep 17 00:00:00 2001
From: tautschnig <1144736+tautschnig@users.noreply.github.com>
Date: Wed, 5 Nov 2025 21:04:58 +0000
Subject: [PATCH] Upgrade CBMC from 6.7.1 to 6.8.0

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

diff --git a/kani-dependencies b/kani-dependencies
index d12d30e1a95b..b325584a4f9e 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,5 +1,5 @@
 CBMC_MAJOR="6"
-CBMC_MINOR="7"
-CBMC_VERSION="6.7.1"
+CBMC_MINOR="8"
+CBMC_VERSION="6.8.0"
 
 KISSAT_VERSION="4.0.1"