bump CBMC dependency

kroening · kroening · commit 18289edb2369 · 2025-11-03T15:10:38.000-08:00
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit d148ae6e880a3ef167bb71e9ed28169578899dce
+Subproject commit b6caec44468ed2918a7f7a16f3691bf6f96c779b
