Merge pull request #367 from diffblue/bump-cbmc-smt2-assumptions

tautschnig · web-flow · commit 0faf7ae65388 · 2024-02-08T09:04:02.000+01:00
bump CBMC dependency
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 2f3b39ecfdd2727aff6b9c4ba6bcd7337c0c5d2e
+Subproject commit 6925475afdd4282de81e2766385e6388562241fe
