data/full_repos/permissive/143278/ivltests/array4.v
[Errno 2] No such file or directory: 'preprocess.output'
1: b'%Warning-WIDTH: data/full_repos/permissive/143278/ivltests/array4.v:10: Operator ASSIGN expects 16 bits on the Assign RHS, but Assign RHS\'s VARREF \'idx\' generates 32 bits.\n                                                                      : ... In instance test\n array[idx] = idx;\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/array4.v:23: Operator NEQCASE expects 32 bits on the LHS, but LHS\'s ARRAYSEL generates 16 bits.\n                                                                      : ... In instance test\n if (array[idx] !== idx) begin\n                ^~~\n%Error: Exiting due to 2 warning(s)\n'
module test;

   parameter width = 16;
   localparam count = 1<<width;
   reg [width-1:0] array[0: count-1];

   integer	   idx;
   initial begin
      for (idx = 0 ; idx < count ; idx = idx+1)
	array[idx] = idx;

      if (array[count/2] !== count/2) begin
	 $display("FAILED");
	 $finish;
      end

      if (array[0] !== 0) begin
	 $display("FAILED");
	 $finish;
      end

      for (idx = 0 ; idx < count ; idx = idx+1)
	if (array[idx] !== idx) begin
	   $display("FAILED");
	   $finish;
	end

      $display("PASSED");
   end

endmodule
module test;


   parameter width = 16;
   localparam count = 1<<width;
   reg [width-1:0] array[0: count-1];

   integer	   idx;
   initial begin
      for (idx = 0 ; idx < count ; idx = idx+1)
	array[idx] = idx;

      if (array[count/2] !== count/2) begin
	 $display("FAILED");
	 $finish;
      end

      if (array[0] !== 0) begin
	 $display("FAILED");
	 $finish;
      end

      for (idx = 0 ; idx < count ; idx = idx+1)
	if (array[idx] !== idx) begin
	   $display("FAILED");
	   $finish;
	end

      $display("PASSED");
   end

endmodule