tests/simple/undef_eqx_nex.v

   1 module undef_eqx_nex(y);
   2 output [7:0] y;
   3 assign y[0] = 0/0;
   4 assign y[1] = 0/1;
   5 assign y[2] = 0/0 ==  32'bx;
   6 assign y[3] = 0/0 !=  32'bx;
   7 assign y[4] = 0/0 === 32'bx;
   8 assign y[5] = 0/0 !== 32'bx;
   9 assign y[6] = 0/1 === 32'bx;
  10 assign y[7] = 0/1 !== 32'bx;
  11 endmodule