data/full_repos/permissive/143278/ivltests/meminit.v
data/verilator_xmls/797171b5-59da-4958-a076-5436874e468e.xml
module  main;

    reg [3:0]   mem [0:1] ;

   initial begin
      if (mem[0] !== 4'bxxxx) begin
	 $display("FAILED -- mem[0] == %b", mem[0]);
	 $finish;
      end

      if (mem[1] !== 4'bxxxx) begin
	 $display("FAILED -- mem[1] == %b", mem[1]);
	 $finish;
      end

      $display("PASSED");
   end

endmodule
module  main;


    reg [3:0]   mem [0:1] ;

   initial begin
      if (mem[0] !== 4'bxxxx) begin
	 $display("FAILED -- mem[0] == %b", mem[0]);
	 $finish;
      end

      if (mem[1] !== 4'bxxxx) begin
	 $display("FAILED -- mem[1] == %b", mem[1]);
	 $finish;
      end

      $display("PASSED");
   end

endmodule