bump CBMC to cbmc-6.3.1

kroening · kroening · commit b44639e07a22 · 2024-09-19T11:48:29.000-07:00
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit b3359791bcc1a6651646920c3936ce167465db92
+Subproject commit d2b4455a109383562735cfb8b52ed8a6d2b6e197
