Bump CBMC to release 6.7.0

kroening · kroening · commit 74b5fc1f13f9 · 2025-06-27T06:52:13.000+02:00
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 3c915ebe35448a20555c1ef55d51540b52c5c34a
+Subproject commit 5d1438a883201a8983b1449eb2485df0821c819d
