Bump CBMC submodule to 6.3.1

peterschrammel · peterschrammel · commit 679853c5470c · 2024-10-12T15:09:08.000+01:00
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 96f499a2ac53064fb7695eaa1a937e827148f69a
+Subproject commit 33fcccf8982add2cb7774811c3c29eddac2b9669
