data/full_repos/permissive/143278/ivltests/unary_lnot2.v
1: b'%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/unary_lnot2.v:25: Logical Operator LOGNOT expects 1 bit on the LHS, but LHS\'s VARREF \'val\' generates 4 bits.\n                                                                           : ... In instance test\n      y = !{!val};\n            ^\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/unary_lnot2.v:25: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS\'s LOGNOT generates 1 bits.\n                                                                           : ... In instance test\n      y = !{!val};\n        ^\n%Error: Exiting due to 2 warning(s)\n'
module test;
   reg [3:0] val, y;

   initial begin
      val = 2;
      y = !{!val};
      if (y !== 4'b0001) begin
	 $display("FAILED -- !!4'b%b --> 4'b%b", val, y);
	 $finish;
      end

      $display("PASSED");
   end
endmodule
module test;

   reg [3:0] val, y;

   initial begin
      val = 2;
      y = !{!val};
      if (y !== 4'b0001) begin
	 $display("FAILED -- !!4'b%b --> 4'b%b", val, y);
	 $finish;
      end

      $display("PASSED");
   end
endmodule