data/full_repos/permissive/143278/ivltests/vhdl_logic.v
1: b"%Error: data/full_repos/permissive/143278/ivltests/vhdl_logic.v:25: Cannot find file containing module: 'vhdl_logic'\nvhdl_logic dut(low, high, hiz, dontcare, uninitialized, unknown);\n^~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/143278/ivltests,data/full_repos/permissive/143278/vhdl_logic\n             data/full_repos/permissive/143278/ivltests,data/full_repos/permissive/143278/vhdl_logic.v\n             data/full_repos/permissive/143278/ivltests,data/full_repos/permissive/143278/vhdl_logic.sv\n             vhdl_logic\n             vhdl_logic.v\n             vhdl_logic.sv\n             obj_dir/vhdl_logic\n             obj_dir/vhdl_logic.v\n             obj_dir/vhdl_logic.sv\n%Error: Exiting due to 1 error(s)\n"
module vhdl_logic_test;

logic low, high, hiz, dontcare, uninitialized, unknown;
vhdl_logic dut(low, high, hiz, dontcare, uninitialized, unknown);

initial begin
    if(low !== 1'b0) begin
        $display("FAILED low");
        $finish();
    end

    if(high !== 1'b1) begin
        $display("FAILED high");
        $finish();
    end

    if(hiz !== 1'bz) begin
        $display("FAILED hiz");
        $finish();
    end

    if(dontcare !== 1'bx) begin
        $display("FAILED dontcare");
        $finish();
    end

    if(uninitialized !== 1'bx) begin
        $display("FAILED uninitialized");
        $finish();
    end

    if(unknown !== 1'bx) begin
        $display("FAILED unknown");
        $finish();
    end

    $display("PASSED");
end
endmodule
module vhdl_logic_test;


logic low, high, hiz, dontcare, uninitialized, unknown;
vhdl_logic dut(low, high, hiz, dontcare, uninitialized, unknown);

initial begin
    if(low !== 1'b0) begin
        $display("FAILED low");
        $finish();
    end

    if(high !== 1'b1) begin
        $display("FAILED high");
        $finish();
    end

    if(hiz !== 1'bz) begin
        $display("FAILED hiz");
        $finish();
    end

    if(dontcare !== 1'bx) begin
        $display("FAILED dontcare");
        $finish();
    end

    if(uninitialized !== 1'bx) begin
        $display("FAILED uninitialized");
        $finish();
    end

    if(unknown !== 1'bx) begin
        $display("FAILED unknown");
        $finish();
    end

    $display("PASSED");
end
endmodule