data/full_repos/permissive/143278/ivltests/mod_inst_pkg.v
 line:1: before: "package"
data/verilator_xmls/059692a6-4991-4286-acd8-eb03e9dd2df2.xml
module foo

import
    fooPkg::*,
    barPkg::*;

import bazPkg::*;
#(
    parameter FOO_PARAM = FOO
)
(
    input [get_size(7)-1:0] inport
);

    baz value = 11;

    initial begin
        if ($bits(inport) != 10) begin
            $display("FAILED -- function import in module declaration failed (%d)", $bits(inport));
            $finish;
        end

        if (value != 11) begin
            $display("FAILED -- Something is wrong with typedef import (%d)", value);
            $finish;
        end

        if (FOO_PARAM != 5) begin
            $display("FAILED -- Something is wrong with paramater imports (%d)", FOO_PARAM);
            $finish;
        end

        $display("PASSED");
        $finish;
    end

endmodule
module foo

import
    fooPkg::*,
    barPkg::*;


import bazPkg::*;
#(
    parameter FOO_PARAM = FOO
)
(
    input [get_size(7)-1:0] inport
);

    baz value = 11;

    initial begin
        if ($bits(inport) != 10) begin
            $display("FAILED -- function import in module declaration failed (%d)", $bits(inport));
            $finish;
        end

        if (value != 11) begin
            $display("FAILED -- Something is wrong with typedef import (%d)", value);
            $finish;
        end

        if (FOO_PARAM != 5) begin
            $display("FAILED -- Something is wrong with paramater imports (%d)", FOO_PARAM);
            $finish;
        end

        $display("PASSED");
        $finish;
    end

endmodule