KNOWNBUG test for named property

Author: kroening

regression/verilog/property/named_property3.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+named_property3.sv
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+The expression in the named property is not lowered.

regression/verilog/property/named_property3.sv

@@ -0,0 +1,11 @@
+module main;
+
+  wire [31:0] x = 'b10010001;
+
+  property with_index;
+    x[7:4] == 'b1001
+  endproperty
+
+  assert property (with_index);
+
+endmodule