data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v
1: b"%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:27: Can't find definition of 'true_val' in dotted variable: 'dut.true_val'\n    if(dut.true_val != \\true ) begin\n           ^~~~~~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:27: Can't find definition of variable: 'true'\n    if(dut.true_val != \\true ) begin\n                       ^~~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:32: Can't find definition of 'true_val' in dotted variable: 'dut.true_val'\n    if(!dut.true_val) begin\n            ^~~~~~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:38: Can't find definition of 'false_val' in dotted variable: 'dut.false_val'\n    if(dut.false_val != \\false ) begin\n           ^~~~~~~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:38: Can't find definition of variable: 'false'\n    if(dut.false_val != \\false ) begin\n                        ^~~~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:43: Can't find definition of 'false_val' in dotted variable: 'dut.false_val'\n    if(dut.false_val) begin\n           ^~~~~~~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:49: Can't find definition of 'and1' in dotted variable: 'dut.and1'\n    if(!dut.and1) begin\n            ^~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:54: Can't find definition of 'and2' in dotted variable: 'dut.and2'\n    if(dut.and2) begin\n           ^~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:59: Can't find definition of 'and3' in dotted variable: 'dut.and3'\n    if(dut.and3) begin\n           ^~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:65: Can't find definition of 'or1' in dotted variable: 'dut.or1'\n    if(!dut.or1) begin\n            ^~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:70: Can't find definition of 'or2' in dotted variable: 'dut.or2'\n    if(dut.or2) begin\n           ^~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:75: Can't find definition of 'or3' in dotted variable: 'dut.or3'\n    if(dut.or3) begin\n           ^~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:81: Can't find definition of 'not1' in dotted variable: 'dut.not1'\n    if(!dut.not1) begin\n            ^~~~\n%Error: data/full_repos/permissive/42434302/ivltests/vhdl_boolean.v:86: Can't find definition of 'not2' in dotted variable: 'dut.not2'\n    if(dut.not2) begin\n           ^~~~\n%Error: Exiting due to 14 error(s)\n"
module vhdl_boolean_test;

vhdl_boolean dut();

initial begin
    if(dut.true_val != \true ) begin
        $display("FAILED true 1");
        $finish();
    end

    if(!dut.true_val) begin
        $display("FAILED true 2");
        $finish();
    end


    if(dut.false_val != \false ) begin
        $display("FAILED false 1");
        $finish();
    end

    if(dut.false_val) begin
        $display("FAILED false 2");
        $finish();
    end


    if(!dut.and1) begin
        $display("FAILED and1");
        $finish();
    end

    if(dut.and2) begin
        $display("FAILED and2");
        $finish();
    end

    if(dut.and3) begin
        $display("FAILED and3");
        $finish();
    end


    if(!dut.or1) begin
        $display("FAILED or1");
        $finish();
    end

    if(dut.or2) begin
        $display("FAILED or2");
        $finish();
    end

    if(dut.or3) begin
        $display("FAILED or3");
        $finish();
    end


    if(!dut.not1) begin
        $display("FAILED not1");
        $finish();
    end

    if(dut.not2) begin
        $display("FAILED not2");
        $finish();
    end

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


vhdl_boolean dut();

initial begin
    if(dut.true_val != \true ) begin
        $display("FAILED true 1");
        $finish();
    end

    if(!dut.true_val) begin
        $display("FAILED true 2");
        $finish();
    end


    if(dut.false_val != \false ) begin
        $display("FAILED false 1");
        $finish();
    end

    if(dut.false_val) begin
        $display("FAILED false 2");
        $finish();
    end


    if(!dut.and1) begin
        $display("FAILED and1");
        $finish();
    end

    if(dut.and2) begin
        $display("FAILED and2");
        $finish();
    end

    if(dut.and3) begin
        $display("FAILED and3");
        $finish();
    end


    if(!dut.or1) begin
        $display("FAILED or1");
        $finish();
    end

    if(dut.or2) begin
        $display("FAILED or2");
        $finish();
    end

    if(dut.or3) begin
        $display("FAILED or3");
        $finish();
    end


    if(!dut.not1) begin
        $display("FAILED not1");
        $finish();
    end

    if(dut.not2) begin
        $display("FAILED not2");
        $finish();
    end

    $display("PASSED");
end
endmodule