Merge pull request #776 from diffblue/sequence4-fix

tautschnig · web-flow · commit 76c065ebafad · 2024-10-18T11:50:39.000+02:00
verilog/SVA/sequence4 test passes
diff --git a/regression/verilog/SVA/sequence4.desc b/regression/verilog/SVA/sequence4.desc
@@ -1,9 +1,8 @@
-KNOWNBUG
+CORE
 sequence4.sv
 --bound 10
-^EXIT=10$
+^EXIT=0$
 ^SIGNAL=0$
 --
 ^warning: ignoring
 --
-sequence concatenation is not supported by the BMC engine
