Verilog: KNOWNBUG test for four-valued zero extension

Author: kroening

regression/verilog/expressions/equality4.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+equality4.v
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+zero_extend doesn't work for four-valued operands.

regression/verilog/expressions/equality4.sv

@@ -0,0 +1,7 @@
+module main;
+
+  // The two operands are zero-extended to 8 bits.
+  initial assert(2'b10 + 1'sbx === 8'bxxxxxxxx);
+  initial assert(2'b10 | 1'sbx === 8'b0000000x);
+
+endmodule