data/full_repos/permissive/143278/ivltests/task_inpad.v
 line:43: before: "("
1: b'%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/task_inpad.v:44: Operator TASKREF \'writeInto\' expects 32 bits on the Function Argument, but Function Argument\'s VARREF \'y\' generates 8 bits.\n                                                                          : ... In instance test\n      writeInto(y);\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 test;
   task writeInto;
      input [31:0] x;
      begin
	 $display("x=%h", x);
	 if (x[31:10] !== 22'd0) begin
	    $display("FAILED -- x is %b", x);
	    $finish;
	 end
      end
   endtask

   reg [7:0] y;
   reg [31:0] y1;
   initial begin
      y1 = 512;
      y = 4;
      writeInto(y1);
      writeInto(y);
      $display("PASSED");
  end
endmodule
module test;

   task writeInto;
      input [31:0] x;
      begin
	 $display("x=%h", x);
	 if (x[31:10] !== 22'd0) begin
	    $display("FAILED -- x is %b", x);
	    $finish;
	 end
      end
   endtask

   reg [7:0] y;
   reg [31:0] y1;
   initial begin
      y1 = 512;
      y = 4;
      writeInto(y1);
      writeInto(y);
      $display("PASSED");
  end
endmodule