data/full_repos/permissive/103649428/VendingMachine_tb.v
1: b'%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:22: Unsupported: Ignoring delay on this delayed statement.\n        #2 reset = 1;\n        ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:23: Unsupported: Ignoring delay on this delayed statement.\n        #2 is_sale = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:24: Unsupported: Ignoring delay on this delayed statement.\n        #2 op_start = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:25: Unsupported: Ignoring delay on this delayed statement.\n        #2 item2 = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:26: Unsupported: Ignoring delay on this delayed statement.\n        #2 confirm_flag = 1;#0.5 confirm_flag = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:26: Unsupported: Ignoring delay on this delayed statement.\n        #2 confirm_flag = 1;#0.5 confirm_flag = 0;\n                            ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:27: Unsupported: Ignoring delay on this delayed statement.\n        #2 coin1 = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:28: Unsupported: Ignoring delay on this delayed statement.\n        #2 buy = 1; #0.5 buy = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:28: Unsupported: Ignoring delay on this delayed statement.\n        #2 buy = 1; #0.5 buy = 0;\n                    ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:29: Unsupported: Ignoring delay on this delayed statement.\n        #2 buy = 1;#0.5 buy = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:29: Unsupported: Ignoring delay on this delayed statement.\n        #2 buy = 1;#0.5 buy = 0;\n                   ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:30: Unsupported: Ignoring delay on this delayed statement.\n        #2 buy = 1;#0.5 buy = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:30: Unsupported: Ignoring delay on this delayed statement.\n        #2 buy = 1;#0.5 buy = 0;\n                   ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:31: Unsupported: Ignoring delay on this delayed statement.\n        #2 cancel_flag = 1;#0.5 cancel_flag = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:31: Unsupported: Ignoring delay on this delayed statement.\n        #2 cancel_flag = 1;#0.5 cancel_flag = 0;\n                           ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:35: Unsupported: Ignoring delay on this delayed statement.\n        #0.1 clk = ~clk;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:51: Unsupported: Ignoring delay on this delayed statement.\n        #1 coin1 = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:52: Unsupported: Ignoring delay on this delayed statement.\n        #7 coin1 = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:53: Unsupported: Ignoring delay on this delayed statement.\n        #1 state = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:54: Unsupported: Ignoring delay on this delayed statement.\n        #1 state = 4;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:55: Unsupported: Ignoring delay on this delayed statement.\n        #1 coin2 = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:58: Unsupported: Ignoring delay on this delayed statement.\n        #1 buy = ~buy;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:72: Unsupported: Ignoring delay on this delayed statement.\n        #6 state = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:73: Unsupported: Ignoring delay on this delayed statement.\n        #1 state = 5;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:74: Unsupported: Ignoring delay on this delayed statement.\n        #1 hasBuy = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:75: Unsupported: Ignoring delay on this delayed statement.\n        #1 state = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:76: Unsupported: Ignoring delay on this delayed statement.\n        #1 hasBuy = 0;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:77: Unsupported: Ignoring delay on this delayed statement.\n        #1 state = 5;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:81: Unsupported: Ignoring delay on this delayed statement.\n        #0.5 clk = ~clk;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:103: Unsupported: Ignoring delay on this delayed statement.\n        #3 state = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:104: Unsupported: Ignoring delay on this delayed statement.\n        #3 state = 2;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:105: Unsupported: Ignoring delay on this delayed statement.\n        #3 state = 3;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:106: Unsupported: Ignoring delay on this delayed statement.\n        #0.5 item1 = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:107: Unsupported: Ignoring delay on this delayed statement.\n        #3 state = 4;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:108: Unsupported: Ignoring delay on this delayed statement.\n        #0.5 money = 3;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:109: Unsupported: Ignoring delay on this delayed statement.\n        #3 chargeMoney = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:110: Unsupported: Ignoring delay on this delayed statement.\n        #3 state = 1;\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/103649428/VendingMachine_tb.v:114: Unsupported: Ignoring delay on this delayed statement.\n        #0.2 ck = ~ck;\n        ^\n%Warning-MULTITOP: data/full_repos/permissive/103649428/VendingMachine_tb.v:42: Multiple top level modules\n                                                                              : ... Suggest see manual; fix the duplicates, or use --top-module to select top.\n                                                                              : ... Top module \'VendingMachine_tb\'\nmodule VendingMachine_tb();\n       ^~~~~~~~~~~~~~~~~\n                                                                              : ... Top module \'Pay_tb\'\nmodule Pay_tb();\n       ^~~~~~\n                                                                              : ... Top module \'Time_tb\'\nmodule Time_tb();\n       ^~~~~~~\n                                                                              : ... Top module \'Show_tb\'\nmodule Show_tb();\n       ^~~~~~~\n%Error: data/full_repos/permissive/103649428/VendingMachine_tb.v:116: Cannot find file containing module: \'Show\'\n    Show sim(.ck(ck), .item1(item1), .item2(item2), .state(state), .money(money), .chargeMoney(chargeMoney), .SEG(SEG), .AN(AN));\n    ^~~~\n        ... Looked in:\n             data/full_repos/permissive/103649428,data/full_repos/permissive/103649428/Show\n             data/full_repos/permissive/103649428,data/full_repos/permissive/103649428/Show.v\n             data/full_repos/permissive/103649428,data/full_repos/permissive/103649428/Show.sv\n             Show\n             Show.v\n             Show.sv\n             obj_dir/Show\n             obj_dir/Show.v\n             obj_dir/Show.sv\n%Error: data/full_repos/permissive/103649428/VendingMachine_tb.v:83: Cannot find file containing module: \'Time\'\n    Time sim(.state(state), .clk(clk), .hasBuy(hasBuy), .drinktk_ind(drinktk_ind), .over(over));\n    ^~~~\n%Error: data/full_repos/permissive/103649428/VendingMachine_tb.v:60: Cannot find file containing module: \'Pay\'\n    Pay sim(.state(state), .buy(buy), .coin1(coin1), .coin2(coin2), .money(money));\n    ^~~\n%Error: data/full_repos/permissive/103649428/VendingMachine_tb.v:38: Cannot find file containing module: \'VendingMachine\'\n    VendingMachine sim(.reset(reset), .clk(clk), .SEG(SEG), .AN(AN), .item1(item1), .item2(item2), .coin1(coin1), .coin2(coin2), .confirm_flag(confirm_flag), .buy(buy), \n    ^~~~~~~~~~~~~~\n%Error: Exiting due to 4 error(s), 39 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module Time_tb();
    reg clk, hasBuy;
    reg [2:0]state;
    wire drinktk_ind, over;
    
    initial begin
        state <= 5;
        clk <= 0;
        hasBuy <= 0;
        #6 state = 0;
        #1 state = 5;
        #1 hasBuy = 1;
        #1 state = 0;
        #1 hasBuy = 0;
        #1 state = 5;
    end
    
    always
        #0.5 clk = ~clk;
    
    Time sim(.state(state), .clk(clk), .hasBuy(hasBuy), .drinktk_ind(drinktk_ind), .over(over));
endmodule
module Time_tb();

    reg clk, hasBuy;
    reg [2:0]state;
    wire drinktk_ind, over;
    
    initial begin
        state <= 5;
        clk <= 0;
        hasBuy <= 0;
        #6 state = 0;
        #1 state = 5;
        #1 hasBuy = 1;
        #1 state = 0;
        #1 hasBuy = 0;
        #1 state = 5;
    end
    
    always
        #0.5 clk = ~clk;
    
    Time sim(.state(state), .clk(clk), .hasBuy(hasBuy), .drinktk_ind(drinktk_ind), .over(over));
endmodule