data/full_repos/permissive/186443491/model/unit_test/rand_test/project_test.v
1: b"%Error: data/full_repos/permissive/186443491/model/unit_test/rand_test/project_test.v:20: Cannot find file containing module: 'Rand'\n    Rand test_r(\n    ^~~~\n        ... Looked in:\n             data/full_repos/permissive/186443491/model/unit_test/rand_test,data/full_repos/permissive/186443491/Rand\n             data/full_repos/permissive/186443491/model/unit_test/rand_test,data/full_repos/permissive/186443491/Rand.v\n             data/full_repos/permissive/186443491/model/unit_test/rand_test,data/full_repos/permissive/186443491/Rand.sv\n             Rand\n             Rand.v\n             Rand.sv\n             obj_dir/Rand\n             obj_dir/Rand.v\n             obj_dir/Rand.sv\n%Error: Exiting due to 1 error(s)\n"
module project_test(
    input [3:0] KEY,
    output [9:0] LEDR
);

    wire clock, resetn, enable;
    wire [8:0] out;

    assign clock = KEY[0];
    assign resetn = KEY[1];
    assign enable = KEY[2];
    assign LEDR = {1'b0, out};

    Rand test_r(
        .clock(clock),
        .resetn(resetn),
        .enable(enable),
        .out(out)
    );

endmodule
module project_test(
    input [3:0] KEY,
    output [9:0] LEDR
);


    wire clock, resetn, enable;
    wire [8:0] out;

    assign clock = KEY[0];
    assign resetn = KEY[1];
    assign enable = KEY[2];
    assign LEDR = {1'b0, out};

    Rand test_r(
        .clock(clock),
        .resetn(resetn),
        .enable(enable),
        .out(out)
    );

endmodule