data/full_repos/permissive/143278/ivltests/pr2709097.v
data/verilator_xmls/3e87d887-74d6-429d-9bb6-62cd9355c9d4.xml
module top;
    reg [31:0] mem[0:0];

    initial begin
        $readmemh( "ivltests/pr2709097.hex", mem );

	if (mem[0] !== 10) $display("FAILED");
	else $display("PASSED");
    end
endmodule
module top;

    reg [31:0] mem[0:0];

    initial begin
        $readmemh( "ivltests/pr2709097.hex", mem );

	if (mem[0] !== 10) $display("FAILED");
	else $display("PASSED");
    end
endmodule