data/full_repos/permissive/143278/ivltests/pr1676836.v
1: b'%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/pr1676836.v:8: Operator XOR expects 32 or 8 bits on the RHS, but RHS\'s CONST \'2\'h3\' generates 2 bits.\n                                                                        : ... In instance top\n    pattern = ~0 ^ 2\'b11;\n                 ^\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Error: Exiting due to 1 warning(s)\n'
module top;
  reg[7:0] pattern;

  initial begin

    pattern = ~0 ^ 2'b11;
    pattern[7] = 0;
`ifndef FAIL
    #0;
`endif
    if ((8'b01111110&pattern) == (8'b11111101&pattern)) $display("PASSED");
    else $display("Fail: %b", pattern);
  end
endmodule
module top;

  reg[7:0] pattern;

  initial begin

    pattern = ~0 ^ 2'b11;
    pattern[7] = 0;
`ifndef FAIL
    #0;
`endif
    if ((8'b01111110&pattern) == (8'b11111101&pattern)) $display("PASSED");
    else $display("Fail: %b", pattern);
  end
endmodule