From ce7e2c2c10796e28db87f59d0eaa244655732275 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Sun, 26 Oct 2025 14:24:56 -0700
Subject: [PATCH] bump CBMC dependency to release 6.8.0

---
 lib/cbmc                         | 2 +-
 src/ebmc/ebmc_solver_factory.cpp | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/cbmc b/lib/cbmc
index d148ae6e8..cdee49cb1 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit d148ae6e880a3ef167bb71e9ed28169578899dce
+Subproject commit cdee49cb1a32c6d6703cebf6ae67161977264ad4
diff --git a/src/ebmc/ebmc_solver_factory.cpp b/src/ebmc/ebmc_solver_factory.cpp
index 39f04f86d..af0db4328 100644
--- a/src/ebmc/ebmc_solver_factory.cpp
+++ b/src/ebmc/ebmc_solver_factory.cpp
@@ -131,6 +131,7 @@ ebmc_solver_factoryt ebmc_solver_factory(const cmdlinet &cmdline)
             std::string("Generated by EBMC ") + EBMC_VERSION,
             "QF_AUFBV",
             smt2_solver.value(),
+            "", // solver binary
             message_handler)};
         }
       };