Merge pull request #707 from diffblue/bump-to-cbmc-6.3.1

tautschnig · web-flow · commit 1975e775bf88 · 2024-09-20T04:30:21.000+02:00
bump CBMC to cbmc-6.3.1
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit b3359791bcc1a6651646920c3936ce167465db92
+Subproject commit d2b4455a109383562735cfb8b52ed8a6d2b6e197
