bump CBMC dependency to release 6.8.0

kroening · kroening · commit ce7e2c2c1079 · 2025-11-05T12:48:35.000-08:00
diff --git 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
@@ -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)};
         }
       };

Original file line number	Diff line number	Diff line change
`@@ -131,6 +131,7 @@ ebmc_solver_factoryt ebmc_solver_factory(const cmdlinet &cmdline)`
`131`	`131`	`std::string("Generated by EBMC ") + EBMC_VERSION,`
`132`	`132`	`"QF_AUFBV",`
`133`	`133`	`smt2_solver.value(),`
	`134`	`+ "", // solver binary`
`134`	`135`	`message_handler)};`
`135`	`136`	`}`
`136`	`137`	`};`