Merge pull request #242 from diffblue/posedge_vector

Verilog: Add a KNOWNBUG test for a crash

Author: tautschnig

regression/verilog/synthesis/posedge_vector.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+posedge_vector.v
+--module main
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+This yields an invariant violation.

regression/verilog/synthesis/posedge_vector.v

@@ -0,0 +1,5 @@
+module main(input [7:0] data);
+
+  always @(posedge data);
+
+endmodule