Merge pull request #1019 from diffblue/bump-cbmc

tautschnig · web-flow · commit d11558533e9c · 2025-03-10T09:37:11.000+01:00
bump CBMC dependency
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 0fc8a492c86903e28e2c64d84f0db35cc98cbd8e
+Subproject commit f55f63666bbf06e2a59a57a984f3cb977187a796
diff --git a/regression/verilog/modules/error_first_line1.desc b/regression/verilog/modules/error_first_line1.desc
@@ -1,10 +1,9 @@
-KNOWNBUG
+CORE
 error_first_line1.v
 
 
-^file error_first_line1.v: syntax error
+^file error_first_line1.v line 1: syntax error
 ^EXIT=1$
 ^SIGNAL=0$
 --
 --
-The line number is missing in the error message.
