data/full_repos/permissive/143278/ivltests/constadd3.v
data/verilator_xmls/f5e12702-f128-4ea3-b42b-38c721d0a367.xml
module test;
    integer i;
    initial begin
        i = 7+1;
        if (i != 8)
            $display ("FAILED -- i = %0d != 8", i);
        else
            $display ("PASSED");
    end
endmodule
module test;

    integer i;
    initial begin
        i = 7+1;
        if (i != 8)
            $display ("FAILED -- i = %0d != 8", i);
        else
            $display ("PASSED");
    end
endmodule