Merge pull request #1241 from diffblue/named_property4

KNOWNBUG test for property that is a sequence

Author: tautschnig

regression/verilog/property/named_property4.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+named_property4.sv
+
+^EXIT=10$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+This triggers an internal error.

regression/verilog/property/named_property4.sv

@@ -0,0 +1,10 @@
+module main(input a, b);
+
+  // a property that is a sequence
+  property lemma;
+    a ##1 b
+  endproperty
+
+  assert property (lemma);
+
+endmodule