Merge pull request #1323 from diffblue/bump-to-cbmc-6.7.1

kroening · web-flow · commit f5c9cb26db96 · 2025-10-15T13:49:52.000-07:00
Bump CBMC dependency from cbmc-6.7.0 to cbmc-6.7.1
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 5d1438a883201a8983b1449eb2485df0821c819d
+Subproject commit d148ae6e880a3ef167bb71e9ed28169578899dce
