data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv
1: b'%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:23: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:31: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:39: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:47: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:55: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:63: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:71: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:79: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:87: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:95: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:103: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:111: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:119: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:127: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:135: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:143: Unsupported: Ignoring delay on this delayed statement.\n        #1;\n        ^\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:16: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'bx) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:17: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 1: Expected HEX0 is %b, actual HEX0 is %b", 7\'bx, tb_card7seg.dut.HEX0);\n                                                                                              ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:24: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b1111111) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:25: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 2: Expected HEX0 is %b, actual HEX0 is %b", 7\'b1111111, tb_card7seg.dut.HEX0);\n                                                                                                    ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:32: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0001000) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:33: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 3: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0001000, tb_card7seg.dut.HEX0);\n                                                                                                    ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:40: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0100100) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:41: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 4: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0100100, tb_card7seg.dut.HEX0);\n                                                                                                    ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:48: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0110000) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:49: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 5: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0110000, tb_card7seg.dut.HEX0);\n                                                                                                    ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:56: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0011001) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:57: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 6: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0011001, tb_card7seg.dut.HEX0);\n                                                                                                    ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:64: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0010010) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:65: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 7: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0010010, tb_card7seg.dut.HEX0);\n                                                                                                    ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:72: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0000010) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:73: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 8: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0000010, tb_card7seg.dut.HEX0);\n                                                                                                    ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:80: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b1111000) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:81: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 9: Expected HEX0 is %b, actual HEX0 is %b", 7\'b1111000, tb_card7seg.dut.HEX0);\n                                                                                                    ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:88: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0000000) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:89: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 10: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0000000, tb_card7seg.dut.HEX0);\n                                                                                                     ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:96: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0010000) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:97: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 11: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0010000, tb_card7seg.dut.HEX0);\n                                                                                                     ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:104: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b1000000) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:105: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 12: Expected HEX0 is %b, actual HEX0 is %b", 7\'b1000000, tb_card7seg.dut.HEX0);\n                                                                                                     ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:112: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b1100001) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:113: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 13: Expected HEX0 is %b, actual HEX0 is %b", 7\'b1100001, tb_card7seg.dut.HEX0);\n                                                                                                     ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:120: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0011000) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:121: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 14: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0011000, tb_card7seg.dut.HEX0);\n                                                                                                     ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:128: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b0001001) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:129: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 15: Expected HEX0 is %b, actual HEX0 is %b", 7\'b0001001, tb_card7seg.dut.HEX0);\n                                                                                                     ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:136: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b1111111) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:137: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 16: Expected HEX0 is %b, actual HEX0 is %b", 7\'b1111111, tb_card7seg.dut.HEX0);\n                                                                                                     ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:144: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n        if (tb_card7seg.dut.HEX0 !== 7\'b1111111) begin\n                            ^~~~\n%Error: data/full_repos/permissive/426864978/lab1/task1/tb_card7seg.sv:145: Can\'t find definition of \'HEX0\' in dotted variable: \'tb_card7seg.dut.HEX0\'\n            $display("ERROR 17: Expected HEX0 is %b, actual HEX0 is %b", 7\'b1111111, tb_card7seg.dut.HEX0);\n                                                                                                     ^~~~\n%Error: Exiting due to 34 error(s), 16 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module tb_card7seg();




    logic [3:0] SW;
    logic [6:0] HEX0;
    logic err;

    card7seg dut(.*);

    initial begin
        err = 1'b0;


        if (tb_card7seg.dut.HEX0 !== 7'bx) begin
            $display("ERROR 1: Expected HEX0 is %b, actual HEX0 is %b", 7'bx, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd0;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1111111) begin
            $display("ERROR 2: Expected HEX0 is %b, actual HEX0 is %b", 7'b1111111, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd1;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0001000) begin
            $display("ERROR 3: Expected HEX0 is %b, actual HEX0 is %b", 7'b0001000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd2;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0100100) begin
            $display("ERROR 4: Expected HEX0 is %b, actual HEX0 is %b", 7'b0100100, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd3;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0110000) begin
            $display("ERROR 5: Expected HEX0 is %b, actual HEX0 is %b", 7'b0110000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd4;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0011001) begin
            $display("ERROR 6: Expected HEX0 is %b, actual HEX0 is %b", 7'b0011001, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd5;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0010010) begin
            $display("ERROR 7: Expected HEX0 is %b, actual HEX0 is %b", 7'b0010010, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd6;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0000010) begin
            $display("ERROR 8: Expected HEX0 is %b, actual HEX0 is %b", 7'b0000010, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd7;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1111000) begin
            $display("ERROR 9: Expected HEX0 is %b, actual HEX0 is %b", 7'b1111000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd8;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0000000) begin
            $display("ERROR 10: Expected HEX0 is %b, actual HEX0 is %b", 7'b0000000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end
        

        SW = 4'd9;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0010000) begin
            $display("ERROR 11: Expected HEX0 is %b, actual HEX0 is %b", 7'b0010000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd10;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1000000) begin
            $display("ERROR 12: Expected HEX0 is %b, actual HEX0 is %b", 7'b1000000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd11;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1100001) begin
            $display("ERROR 13: Expected HEX0 is %b, actual HEX0 is %b", 7'b1100001, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd12;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0011000) begin
            $display("ERROR 14: Expected HEX0 is %b, actual HEX0 is %b", 7'b0011000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd13;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0001001) begin
            $display("ERROR 15: Expected HEX0 is %b, actual HEX0 is %b", 7'b0001001, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd14;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1111111) begin
            $display("ERROR 16: Expected HEX0 is %b, actual HEX0 is %b", 7'b1111111, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd15;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1111111) begin
            $display("ERROR 17: Expected HEX0 is %b, actual HEX0 is %b", 7'b1111111, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end

        if (~err) begin
            $display("SUCCESS: All tests passed.");
        end
        $stop;
    end
						
endmodule
module tb_card7seg();





    logic [3:0] SW;
    logic [6:0] HEX0;
    logic err;

    card7seg dut(.*);

    initial begin
        err = 1'b0;


        if (tb_card7seg.dut.HEX0 !== 7'bx) begin
            $display("ERROR 1: Expected HEX0 is %b, actual HEX0 is %b", 7'bx, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd0;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1111111) begin
            $display("ERROR 2: Expected HEX0 is %b, actual HEX0 is %b", 7'b1111111, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd1;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0001000) begin
            $display("ERROR 3: Expected HEX0 is %b, actual HEX0 is %b", 7'b0001000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd2;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0100100) begin
            $display("ERROR 4: Expected HEX0 is %b, actual HEX0 is %b", 7'b0100100, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd3;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0110000) begin
            $display("ERROR 5: Expected HEX0 is %b, actual HEX0 is %b", 7'b0110000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd4;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0011001) begin
            $display("ERROR 6: Expected HEX0 is %b, actual HEX0 is %b", 7'b0011001, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd5;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0010010) begin
            $display("ERROR 7: Expected HEX0 is %b, actual HEX0 is %b", 7'b0010010, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd6;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0000010) begin
            $display("ERROR 8: Expected HEX0 is %b, actual HEX0 is %b", 7'b0000010, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd7;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1111000) begin
            $display("ERROR 9: Expected HEX0 is %b, actual HEX0 is %b", 7'b1111000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd8;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0000000) begin
            $display("ERROR 10: Expected HEX0 is %b, actual HEX0 is %b", 7'b0000000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end
        

        SW = 4'd9;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0010000) begin
            $display("ERROR 11: Expected HEX0 is %b, actual HEX0 is %b", 7'b0010000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd10;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1000000) begin
            $display("ERROR 12: Expected HEX0 is %b, actual HEX0 is %b", 7'b1000000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd11;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1100001) begin
            $display("ERROR 13: Expected HEX0 is %b, actual HEX0 is %b", 7'b1100001, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd12;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0011000) begin
            $display("ERROR 14: Expected HEX0 is %b, actual HEX0 is %b", 7'b0011000, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd13;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b0001001) begin
            $display("ERROR 15: Expected HEX0 is %b, actual HEX0 is %b", 7'b0001001, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd14;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1111111) begin
            $display("ERROR 16: Expected HEX0 is %b, actual HEX0 is %b", 7'b1111111, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end


        SW = 4'd15;
        #1;
        if (tb_card7seg.dut.HEX0 !== 7'b1111111) begin
            $display("ERROR 17: Expected HEX0 is %b, actual HEX0 is %b", 7'b1111111, tb_card7seg.dut.HEX0);
            err = 1'b1;
        end

        if (~err) begin
            $display("SUCCESS: All tests passed.");
        end
        $stop;
    end
						
endmodule