verilog/SVA/sequence4 test passes

kroening · kroening · commit ea4c3fa5b2b7 · 2024-10-17T14:26:02.000-07:00
Sequence concatenation is now implemented.
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
