data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv
1: b'%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:12: Unsupported: Ignoring delay on this delayed statement.\n        forever #5 CLOCK_50 = ~CLOCK_50;\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/task5/tb_task5.sv:106: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:106: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:111: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:111: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:115: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:115: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:119: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:119: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:123: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:123: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:127: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:127: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:131: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:131: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:135: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:135: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:139: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:139: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:146: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:146: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:151: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d6)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:152: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:152: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:156: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d7)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:157: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:157: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:161: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d8)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:162: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:162: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:166: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d9)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:167: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:167: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:171: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d7)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:172: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:172: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:176: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d10)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:177: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:177: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:181: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:181: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:188: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:188: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:193: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d8)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:194: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:194: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:198: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d11)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:199: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:199: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:203: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d12)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:204: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:204: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:208: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d13)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:209: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:209: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:213: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:213: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:220: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:220: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:225: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d8)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:226: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:226: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:230: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d8)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:231: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:231: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:235: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d12)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:236: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:236: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:240: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d13)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:241: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:241: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:245: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:245: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:252: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:252: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:257: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d8)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:258: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:258: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:262: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d9)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:263: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:263: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:267: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d10)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:268: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:268: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:272: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d11)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:273: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:273: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:277: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:277: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:284: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:284: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:289: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d10)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:290: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:290: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:294: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d5)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:295: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:295: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:299: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d11)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:300: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:300: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:304: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d2)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:305: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:305: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:309: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:309: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:313: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:313: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:320: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:320: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:325: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d1)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:326: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:326: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:330: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d5)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:331: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:331: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:335: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d11)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:336: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:336: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:340: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d13)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:341: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:341: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:345: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d5)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:346: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:346: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:350: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d1)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:351: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:351: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:355: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:355: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:362: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:362: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:367: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d4)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:368: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:368: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:372: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d5)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:373: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:373: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:377: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d11)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:378: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:378: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:382: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d13)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:383: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:383: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:387: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d1)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:388: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:388: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:392: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d1)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:393: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:393: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:397: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:397: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:404: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:404: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:409: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d4)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:410: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:410: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:414: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d4)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:415: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:415: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:419: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d11)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:420: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:420: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:424: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d13)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:425: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:425: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:429: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d2)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:430: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:430: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:434: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d10)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:435: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:435: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:439: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:439: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:446: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:446: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:451: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d4)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:452: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:452: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:456: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d4)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:457: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:457: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:461: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d11)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:462: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:462: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:466: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d13)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:467: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:467: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:471: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d8)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:472: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:472: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:476: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d10)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:477: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:477: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:481: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:481: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:488: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:488: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:493: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d3)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:494: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:494: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:498: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d1)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:499: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:499: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:503: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d1)\n        ^~~~\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:504: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                       ^\n%Warning-STMTDLY: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:504: Unsupported: Ignoring delay on this delayed statement.\n        KEY[0] = 1\'b1; #5; KEY[0] = 1\'b0; #5;\n                                          ^\n%Error: data/full_repos/permissive/426864978/lab1/task5/tb_task5.sv:508: Unsupported: wait statements\n        wait (tb_task5.dut.dp.dc.dealer_card == 4\'d2)\n        ^~~~\n%Error: Exiting due to too many errors encountered; --error-limit=50\n        ... See the manual and https://verilator.org for more assistance.\n'
module tb_task5();

    logic CLOCK_50, err;
    logic [3:0] KEY;
    logic [9:0] LEDR;
    logic [6:0] HEX5, HEX4, HEX3, HEX2, HEX1, HEX0;

    task5 dut(.*);

    initial begin
        CLOCK_50 = 0;
        forever #5 CLOCK_50 = ~CLOCK_50;
    end

    task validator;
        input [31:0] index;
        input [3:0] exp_state;
        input e_pwin, e_dwin;
        input [3:0] e_pscore, e_dscore;
        input [6:0] e_HEX5, e_HEX4, e_HEX3, e_HEX2, e_HEX1, e_HEX0;
        begin
            $display("TEST %d", index);
            if (tb_task5.dut.sm.present_state !== exp_state) begin
                $display("ERROR A: Expected present_state is %b, actual present_state is %b", exp_state, tb_task5.dut.sm.present_state);
                err = 1'b1;
            end
            if (tb_task5.dut.LEDR[8] !== e_pwin) begin
                $display("ERROR B: Expected LEDR[8] is %b, actual LEDR[8] is %b", e_pwin, tb_task5.dut.LEDR[8]);
                err = 1'b1;
            end
            if (tb_task5.dut.LEDR[9] !== e_dwin) begin
                $display("ERROR C: Expected LEDR[9] is %b, actual LEDR[9] is %b", e_dwin, tb_task5.dut.LEDR[9]);
                err = 1'b1;
            end
            if (tb_task5.dut.LEDR[3:0] !== e_pscore) begin
                $display("ERROR D: Expected LEDR[3:0] is %b, actual LEDR[3:0] is %b", e_pscore, tb_task5.dut.LEDR[3:0]);
                err = 1'b1;
            end
            if (tb_task5.dut.LEDR[7:4] !== e_dscore) begin
                $display("ERROR E: Expected LEDR[7:4] is %b, actual LEDR[7:4] is %b", e_dscore, tb_task5.dut.LEDR[7:4]);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX5 !== e_HEX5) begin
                $display("ERROR F: Expected HEX5 is %b, actual HEX5 is %b", e_HEX5, tb_task5.dut.HEX5);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX4 !== e_HEX4) begin
                $display("ERROR G: Expected HEX4 is %b, actual HEX4 is %b", e_HEX4, tb_task5.dut.HEX4);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX3 !== e_HEX3) begin
                $display("ERROR H: Expected HEX3 is %b, actual HEX3 is %b", e_HEX3, tb_task5.dut.HEX3);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX2 !== e_HEX2) begin
                $display("ERROR I: Expected HEX2 is %b, actual HEX2 is %b", e_HEX2, tb_task5.dut.HEX2);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX1 !== e_HEX1) begin
                $display("ERROR J: Expected HEX1 is %b, actual HEX1 is %b", e_HEX1, tb_task5.dut.HEX1);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX0 !== e_HEX0) begin
                $display("ERROR K: Expected HEX0 is %b, actual HEX0 is %b", e_HEX0, tb_task5.dut.HEX0);
                err = 1'b1;
            end
        end
    endtask

    `define WAIT      4'b0000
    `define LOAD_P1   4'b0001
    `define LOAD_P2   4'b0010
    `define LOAD_P3   4'b0011
    `define LOAD_D1   4'b0100
    `define LOAD_D2   4'b0101
    `define LOAD_D3   4'b0110
    `define CALC_RES  4'b0111
    `define P_WIN     4'b1000
    `define D_WIN     4'b1001
    `define TIE       4'b1010

    `define NONE   7'b1111111
    `define ACE    7'b0001000
    `define TWO    7'b0100100     
    `define THREE  7'b0110000
    `define FOUR   7'b0011001
    `define FIVE   7'b0010010
    `define SIX    7'b0000010
    `define SEVEN  7'b1111000
    `define EIGHT  7'b0000000
    `define NINE   7'b0010000
    `define TEN    7'b1000000
    `define JACK   7'b1100001
    `define QUEEN  7'b0011000
    `define KING   7'b0001001

    initial begin
        err = 1'b0;



        validator(1, 4'bx, 1'bx, 1'bx, 4'bx, 4'bx, 7'bx, 7'bx, 7'bx, 7'bx, 7'bx, 7'bx);


        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(2, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(3, `LOAD_P1, 1'b0, 1'b0, 4'd1, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(4, `LOAD_D1, 1'b0, 1'b0, 4'd1, 4'd2, `NONE, `NONE, `TWO, `NONE, `NONE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(5, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd2, `NONE, `NONE, `TWO, `NONE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(6, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd6, `NONE, `FOUR, `TWO, `NONE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(7, `LOAD_P3, 1'b0, 1'b0, 4'd9, 4'd6, `NONE, `FOUR, `TWO, `FIVE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(8, `CALC_RES, 1'b1, 1'b0, 4'd9, 4'd6, `NONE, `FOUR, `TWO, `FIVE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(9, `P_WIN, 1'b0, 1'b0, 4'd9, 4'd6, `NONE, `FOUR, `TWO, `FIVE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(10, `WAIT, 1'b0, 1'b0, 4'd9, 4'd6, `NONE, `FOUR, `TWO, `FIVE, `THREE, `ACE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(11, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd6)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(12, `LOAD_P1, 1'b0, 1'b0, 4'd6, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd7)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(13, `LOAD_D1, 1'b0, 1'b0, 4'd6, 4'd7, `NONE, `NONE, `SEVEN, `NONE, `NONE, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(14, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd7, `NONE, `NONE, `SEVEN, `NONE, `EIGHT, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd9)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(15, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd6, `NONE, `NINE, `SEVEN, `NONE, `EIGHT, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd7)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(16, `LOAD_P3, 1'b0, 1'b0, 4'd1, 4'd6, `NONE, `NINE, `SEVEN, `SEVEN, `EIGHT, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(17, `LOAD_D3, 1'b0, 1'b1, 4'd1, 4'd6, `TEN, `NINE, `SEVEN, `SEVEN, `EIGHT, `SIX);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(18, `D_WIN, 1'b0, 1'b0, 4'd1, 4'd6, `TEN, `NINE, `SEVEN, `SEVEN, `EIGHT, `SIX);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(19, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(20, `LOAD_P1, 1'b0, 1'b0, 4'd8, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(21, `LOAD_D1, 1'b0, 1'b0, 4'd8, 4'd0, `NONE, `NONE, `JACK, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd12)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(22, `LOAD_P2, 1'b0, 1'b0, 4'd8, 4'd0, `NONE, `NONE, `JACK, `NONE, `QUEEN, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(23, `LOAD_D2, 1'b1, 1'b0, 4'd8, 4'd0, `NONE, `KING, `JACK, `NONE, `QUEEN, `EIGHT);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(24, `P_WIN, 1'b0, 1'b0, 4'd8, 4'd0, `NONE, `KING, `JACK, `NONE, `QUEEN, `EIGHT);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(25, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(26, `LOAD_P1, 1'b0, 1'b0, 4'd8, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(27, `LOAD_D1, 1'b0, 1'b0, 4'd8, 4'd8, `NONE, `NONE, `EIGHT, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd12)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(28, `LOAD_P2, 1'b0, 1'b0, 4'd8, 4'd8, `NONE, `NONE, `EIGHT, `NONE, `QUEEN, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(29, `LOAD_D2, 1'b1, 1'b1, 4'd8, 4'd8, `NONE, `KING, `EIGHT, `NONE, `QUEEN, `EIGHT);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(30, `TIE, 1'b0, 1'b0, 4'd8, 4'd8, `NONE, `KING, `EIGHT, `NONE, `QUEEN, `EIGHT);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(31, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(32, `LOAD_P1, 1'b0, 1'b0, 4'd8, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd9)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(33, `LOAD_D1, 1'b0, 1'b0, 4'd8, 4'd9, `NONE, `NONE, `NINE, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(34, `LOAD_P2, 1'b0, 1'b0, 4'd8, 4'd9, `NONE, `NONE, `NINE, `NONE, `TEN, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(35, `LOAD_D2, 1'b0, 1'b1, 4'd8, 4'd9, `NONE, `JACK, `NINE, `NONE, `TEN, `EIGHT);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(36, `D_WIN, 1'b0, 1'b0, 4'd8, 4'd9, `NONE, `JACK, `NINE, `NONE, `TEN, `EIGHT);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(37, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(38, `LOAD_P1, 1'b0, 1'b0, 4'd0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `TEN);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(39, `LOAD_D1, 1'b0, 1'b0, 4'd0, 4'd5, `NONE, `NONE, `FIVE, `NONE, `NONE, `TEN);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(40, `LOAD_P2, 1'b0, 1'b0, 4'd0, 4'd5, `NONE, `NONE, `FIVE, `NONE, `JACK, `TEN);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd2)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(41, `LOAD_D2, 1'b0, 1'b0, 4'd0, 4'd7, `NONE, `TWO, `FIVE, `NONE, `JACK, `TEN);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(42, `LOAD_P3, 1'b0, 1'b0, 4'd2, 4'd7, `NONE, `TWO, `FIVE, `TWO, `JACK, `TEN);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(43, `CALC_RES, 1'b0, 1'b1, 4'd2, 4'd7, `NONE, `TWO, `FIVE, `TWO, `JACK, `TEN);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(44, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(45, `LOAD_P1, 1'b0, 1'b0, 4'd1, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(46, `LOAD_D1, 1'b0, 1'b0, 4'd1, 4'd5, `NONE, `NONE, `FIVE, `NONE, `NONE, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(47, `LOAD_P2, 1'b0, 1'b0, 4'd1, 4'd5, `NONE, `NONE, `FIVE, `NONE, `JACK, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(48, `LOAD_D2, 1'b0, 1'b0, 4'd1, 4'd5, `NONE, `KING, `FIVE, `NONE, `JACK, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(49, `LOAD_P3, 1'b0, 1'b0, 4'd6, 4'd5, `NONE, `KING, `FIVE, `FIVE, `JACK, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(50, `LOAD_D3, 1'b1, 1'b1, 4'd6, 4'd6, `ACE, `KING, `FIVE, `FIVE, `JACK, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(51, `TIE, 1'b0, 1'b0, 4'd6, 4'd6, `ACE, `KING, `FIVE, `FIVE, `JACK, `ACE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(52, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(53, `LOAD_P1, 1'b0, 1'b0, 4'd4, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(54, `LOAD_D1, 1'b0, 1'b0, 4'd4, 4'd5, `NONE, `NONE, `FIVE, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(55, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd5, `NONE, `NONE, `FIVE, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(56, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd5, `NONE, `KING, `FIVE, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(57, `LOAD_P3, 1'b0, 1'b0, 4'd5, 4'd5, `NONE, `KING, `FIVE, `ACE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(58, `CALC_RES, 1'b1, 1'b1, 4'd5, 4'd5, `NONE, `KING, `FIVE, `ACE, `JACK, `FOUR);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(59, `TIE, 1'b0, 1'b0, 4'd5, 4'd5, `NONE, `KING, `FIVE, `ACE, `JACK, `FOUR);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(60, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(61, `LOAD_P1, 1'b0, 1'b0, 4'd4, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(62, `LOAD_D1, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `NONE, `FOUR, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(63, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `NONE, `FOUR, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(64, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `KING, `FOUR, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd2)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(65, `LOAD_P3, 1'b0, 1'b0, 4'd6, 4'd4, `NONE, `KING, `FOUR, `TWO, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(66, `LOAD_D3, 1'b1, 1'b0, 4'd6, 4'd4, `TEN, `KING, `FOUR, `TWO, `JACK, `FOUR);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(67, `P_WIN, 1'b0, 1'b0, 4'd6, 4'd4, `TEN, `KING, `FOUR, `TWO, `JACK, `FOUR);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(68, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(69, `LOAD_P1, 1'b0, 1'b0, 4'd4, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(70, `LOAD_D1, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `NONE, `FOUR, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(71, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `NONE, `FOUR, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(72, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `KING, `FOUR, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(73, `LOAD_P3, 1'b0, 1'b0, 4'd2, 4'd4, `NONE, `KING, `FOUR, `EIGHT, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(74, `CALC_RES, 1'b0, 1'b1, 4'd2, 4'd4, `NONE, `KING, `FOUR, `EIGHT, `JACK, `FOUR);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(75, `D_WIN, 1'b0, 1'b0, 4'd2, 4'd4, `NONE, `KING, `FOUR, `EIGHT, `JACK, `FOUR);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(76, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(77, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(78, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(79, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd1, `NONE, `NONE, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd2)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(80, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd3, `NONE, `TWO, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd7)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(81, `LOAD_P3, 1'b0, 1'b0, 4'd1, 4'd3, `NONE, `TWO, `ACE, `SEVEN, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(82, `LOAD_D3, 1'b0, 1'b1, 4'd1, 4'd3, `TEN, `TWO, `ACE, `SEVEN, `ACE, `THREE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(83, `D_WIN, 1'b0, 1'b0, 4'd1, 4'd3, `TEN, `TWO, `ACE, `SEVEN, `ACE, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(84, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(85, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(86, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(87, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd1, `NONE, `NONE, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd2)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(88, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd3, `NONE, `TWO, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(89, `LOAD_P3, 1'b0, 1'b0, 4'd2, 4'd3, `NONE, `TWO, `ACE, `EIGHT, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(90, `CALC_RES, 1'b0, 1'b1, 4'd2, 4'd3, `NONE, `TWO, `ACE, `EIGHT, `ACE, `THREE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(91, `D_WIN, 1'b0, 1'b0, 4'd2, 4'd3, `NONE, `TWO, `ACE, `EIGHT, `ACE, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(92, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(93, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(94, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(95, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd1, `NONE, `NONE, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(96, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd1, `NONE, `JACK, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(97, `LOAD_P3, 1'b0, 1'b0, 4'd2, 4'd1, `NONE, `JACK, `ACE, `EIGHT, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(98, `LOAD_D3, 1'b1, 1'b1, 4'd2, 4'd2, `ACE, `JACK, `ACE, `EIGHT, `ACE, `THREE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(99, `TIE, 1'b0, 1'b0, 4'd2, 4'd2, `ACE, `JACK, `ACE, `EIGHT, `ACE, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(100, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(101, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(102, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(103, `LOAD_P2, 1'b0, 1'b0, 4'd7, 4'd1, `NONE, `NONE, `ACE, `NONE, `FOUR, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(104, `LOAD_D2, 1'b0, 1'b0, 4'd7, 4'd1, `NONE, `JACK, `ACE, `NONE, `FOUR, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd6)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(105, `LOAD_D3, 1'b1, 1'b1, 4'd7, 4'd7, `SIX, `JACK, `ACE, `NONE, `FOUR, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(106, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(107, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(108, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(109, `LOAD_P2, 1'b0, 1'b0, 4'd7, 4'd1, `NONE, `NONE, `ACE, `NONE, `FOUR, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(110, `LOAD_D2, 1'b1, 1'b0, 4'd7, 4'd6, `NONE, `FIVE, `ACE, `NONE, `FOUR, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(111, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(112, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(113, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(114, `LOAD_P2, 1'b0, 1'b0, 4'd7, 4'd1, `NONE, `NONE, `ACE, `NONE, `FOUR, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd6)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(115, `LOAD_D2, 1'b1, 1'b1, 4'd7, 4'd7, `NONE, `SIX, `ACE, `NONE, `FOUR, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(116, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(117, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(118, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(119, `LOAD_P2, 1'b0, 1'b0, 4'd6, 4'd1, `NONE, `NONE, `ACE, `NONE, `THREE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd6)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(120, `LOAD_D2, 1'b0, 1'b1, 4'd6, 4'd7, `NONE, `SIX, `ACE, `NONE, `THREE, `THREE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(121, `D_WIN, 1'b0, 1'b0, 4'd6, 4'd7, `NONE, `SIX, `ACE, `NONE, `THREE, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(122, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        KEY[3] = 1'bx;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(123, 4'b000x, 1'bx, 1'bx, 4'b1, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `ACE);

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


    logic CLOCK_50, err;
    logic [3:0] KEY;
    logic [9:0] LEDR;
    logic [6:0] HEX5, HEX4, HEX3, HEX2, HEX1, HEX0;

    task5 dut(.*);

    initial begin
        CLOCK_50 = 0;
        forever #5 CLOCK_50 = ~CLOCK_50;
    end

    task validator;
        input [31:0] index;
        input [3:0] exp_state;
        input e_pwin, e_dwin;
        input [3:0] e_pscore, e_dscore;
        input [6:0] e_HEX5, e_HEX4, e_HEX3, e_HEX2, e_HEX1, e_HEX0;
        begin
            $display("TEST %d", index);
            if (tb_task5.dut.sm.present_state !== exp_state) begin
                $display("ERROR A: Expected present_state is %b, actual present_state is %b", exp_state, tb_task5.dut.sm.present_state);
                err = 1'b1;
            end
            if (tb_task5.dut.LEDR[8] !== e_pwin) begin
                $display("ERROR B: Expected LEDR[8] is %b, actual LEDR[8] is %b", e_pwin, tb_task5.dut.LEDR[8]);
                err = 1'b1;
            end
            if (tb_task5.dut.LEDR[9] !== e_dwin) begin
                $display("ERROR C: Expected LEDR[9] is %b, actual LEDR[9] is %b", e_dwin, tb_task5.dut.LEDR[9]);
                err = 1'b1;
            end
            if (tb_task5.dut.LEDR[3:0] !== e_pscore) begin
                $display("ERROR D: Expected LEDR[3:0] is %b, actual LEDR[3:0] is %b", e_pscore, tb_task5.dut.LEDR[3:0]);
                err = 1'b1;
            end
            if (tb_task5.dut.LEDR[7:4] !== e_dscore) begin
                $display("ERROR E: Expected LEDR[7:4] is %b, actual LEDR[7:4] is %b", e_dscore, tb_task5.dut.LEDR[7:4]);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX5 !== e_HEX5) begin
                $display("ERROR F: Expected HEX5 is %b, actual HEX5 is %b", e_HEX5, tb_task5.dut.HEX5);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX4 !== e_HEX4) begin
                $display("ERROR G: Expected HEX4 is %b, actual HEX4 is %b", e_HEX4, tb_task5.dut.HEX4);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX3 !== e_HEX3) begin
                $display("ERROR H: Expected HEX3 is %b, actual HEX3 is %b", e_HEX3, tb_task5.dut.HEX3);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX2 !== e_HEX2) begin
                $display("ERROR I: Expected HEX2 is %b, actual HEX2 is %b", e_HEX2, tb_task5.dut.HEX2);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX1 !== e_HEX1) begin
                $display("ERROR J: Expected HEX1 is %b, actual HEX1 is %b", e_HEX1, tb_task5.dut.HEX1);
                err = 1'b1;
            end
            if (tb_task5.dut.HEX0 !== e_HEX0) begin
                $display("ERROR K: Expected HEX0 is %b, actual HEX0 is %b", e_HEX0, tb_task5.dut.HEX0);
                err = 1'b1;
            end
        end
    endtask

    `define WAIT      4'b0000
    `define LOAD_P1   4'b0001
    `define LOAD_P2   4'b0010
    `define LOAD_P3   4'b0011
    `define LOAD_D1   4'b0100
    `define LOAD_D2   4'b0101
    `define LOAD_D3   4'b0110
    `define CALC_RES  4'b0111
    `define P_WIN     4'b1000
    `define D_WIN     4'b1001
    `define TIE       4'b1010

    `define NONE   7'b1111111
    `define ACE    7'b0001000
    `define TWO    7'b0100100     
    `define THREE  7'b0110000
    `define FOUR   7'b0011001
    `define FIVE   7'b0010010
    `define SIX    7'b0000010
    `define SEVEN  7'b1111000
    `define EIGHT  7'b0000000
    `define NINE   7'b0010000
    `define TEN    7'b1000000
    `define JACK   7'b1100001
    `define QUEEN  7'b0011000
    `define KING   7'b0001001

    initial begin
        err = 1'b0;



        validator(1, 4'bx, 1'bx, 1'bx, 4'bx, 4'bx, 7'bx, 7'bx, 7'bx, 7'bx, 7'bx, 7'bx);


        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(2, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(3, `LOAD_P1, 1'b0, 1'b0, 4'd1, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(4, `LOAD_D1, 1'b0, 1'b0, 4'd1, 4'd2, `NONE, `NONE, `TWO, `NONE, `NONE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(5, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd2, `NONE, `NONE, `TWO, `NONE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(6, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd6, `NONE, `FOUR, `TWO, `NONE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(7, `LOAD_P3, 1'b0, 1'b0, 4'd9, 4'd6, `NONE, `FOUR, `TWO, `FIVE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(8, `CALC_RES, 1'b1, 1'b0, 4'd9, 4'd6, `NONE, `FOUR, `TWO, `FIVE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(9, `P_WIN, 1'b0, 1'b0, 4'd9, 4'd6, `NONE, `FOUR, `TWO, `FIVE, `THREE, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(10, `WAIT, 1'b0, 1'b0, 4'd9, 4'd6, `NONE, `FOUR, `TWO, `FIVE, `THREE, `ACE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(11, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd6)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(12, `LOAD_P1, 1'b0, 1'b0, 4'd6, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd7)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(13, `LOAD_D1, 1'b0, 1'b0, 4'd6, 4'd7, `NONE, `NONE, `SEVEN, `NONE, `NONE, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(14, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd7, `NONE, `NONE, `SEVEN, `NONE, `EIGHT, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd9)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(15, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd6, `NONE, `NINE, `SEVEN, `NONE, `EIGHT, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd7)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(16, `LOAD_P3, 1'b0, 1'b0, 4'd1, 4'd6, `NONE, `NINE, `SEVEN, `SEVEN, `EIGHT, `SIX);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(17, `LOAD_D3, 1'b0, 1'b1, 4'd1, 4'd6, `TEN, `NINE, `SEVEN, `SEVEN, `EIGHT, `SIX);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(18, `D_WIN, 1'b0, 1'b0, 4'd1, 4'd6, `TEN, `NINE, `SEVEN, `SEVEN, `EIGHT, `SIX);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(19, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(20, `LOAD_P1, 1'b0, 1'b0, 4'd8, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(21, `LOAD_D1, 1'b0, 1'b0, 4'd8, 4'd0, `NONE, `NONE, `JACK, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd12)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(22, `LOAD_P2, 1'b0, 1'b0, 4'd8, 4'd0, `NONE, `NONE, `JACK, `NONE, `QUEEN, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(23, `LOAD_D2, 1'b1, 1'b0, 4'd8, 4'd0, `NONE, `KING, `JACK, `NONE, `QUEEN, `EIGHT);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(24, `P_WIN, 1'b0, 1'b0, 4'd8, 4'd0, `NONE, `KING, `JACK, `NONE, `QUEEN, `EIGHT);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(25, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(26, `LOAD_P1, 1'b0, 1'b0, 4'd8, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(27, `LOAD_D1, 1'b0, 1'b0, 4'd8, 4'd8, `NONE, `NONE, `EIGHT, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd12)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(28, `LOAD_P2, 1'b0, 1'b0, 4'd8, 4'd8, `NONE, `NONE, `EIGHT, `NONE, `QUEEN, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(29, `LOAD_D2, 1'b1, 1'b1, 4'd8, 4'd8, `NONE, `KING, `EIGHT, `NONE, `QUEEN, `EIGHT);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(30, `TIE, 1'b0, 1'b0, 4'd8, 4'd8, `NONE, `KING, `EIGHT, `NONE, `QUEEN, `EIGHT);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(31, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(32, `LOAD_P1, 1'b0, 1'b0, 4'd8, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd9)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(33, `LOAD_D1, 1'b0, 1'b0, 4'd8, 4'd9, `NONE, `NONE, `NINE, `NONE, `NONE, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(34, `LOAD_P2, 1'b0, 1'b0, 4'd8, 4'd9, `NONE, `NONE, `NINE, `NONE, `TEN, `EIGHT);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(35, `LOAD_D2, 1'b0, 1'b1, 4'd8, 4'd9, `NONE, `JACK, `NINE, `NONE, `TEN, `EIGHT);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(36, `D_WIN, 1'b0, 1'b0, 4'd8, 4'd9, `NONE, `JACK, `NINE, `NONE, `TEN, `EIGHT);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(37, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(38, `LOAD_P1, 1'b0, 1'b0, 4'd0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `TEN);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(39, `LOAD_D1, 1'b0, 1'b0, 4'd0, 4'd5, `NONE, `NONE, `FIVE, `NONE, `NONE, `TEN);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(40, `LOAD_P2, 1'b0, 1'b0, 4'd0, 4'd5, `NONE, `NONE, `FIVE, `NONE, `JACK, `TEN);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd2)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(41, `LOAD_D2, 1'b0, 1'b0, 4'd0, 4'd7, `NONE, `TWO, `FIVE, `NONE, `JACK, `TEN);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(42, `LOAD_P3, 1'b0, 1'b0, 4'd2, 4'd7, `NONE, `TWO, `FIVE, `TWO, `JACK, `TEN);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(43, `CALC_RES, 1'b0, 1'b1, 4'd2, 4'd7, `NONE, `TWO, `FIVE, `TWO, `JACK, `TEN);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(44, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(45, `LOAD_P1, 1'b0, 1'b0, 4'd1, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(46, `LOAD_D1, 1'b0, 1'b0, 4'd1, 4'd5, `NONE, `NONE, `FIVE, `NONE, `NONE, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(47, `LOAD_P2, 1'b0, 1'b0, 4'd1, 4'd5, `NONE, `NONE, `FIVE, `NONE, `JACK, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(48, `LOAD_D2, 1'b0, 1'b0, 4'd1, 4'd5, `NONE, `KING, `FIVE, `NONE, `JACK, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(49, `LOAD_P3, 1'b0, 1'b0, 4'd6, 4'd5, `NONE, `KING, `FIVE, `FIVE, `JACK, `ACE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(50, `LOAD_D3, 1'b1, 1'b1, 4'd6, 4'd6, `ACE, `KING, `FIVE, `FIVE, `JACK, `ACE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(51, `TIE, 1'b0, 1'b0, 4'd6, 4'd6, `ACE, `KING, `FIVE, `FIVE, `JACK, `ACE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(52, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(53, `LOAD_P1, 1'b0, 1'b0, 4'd4, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(54, `LOAD_D1, 1'b0, 1'b0, 4'd4, 4'd5, `NONE, `NONE, `FIVE, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(55, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd5, `NONE, `NONE, `FIVE, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(56, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd5, `NONE, `KING, `FIVE, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(57, `LOAD_P3, 1'b0, 1'b0, 4'd5, 4'd5, `NONE, `KING, `FIVE, `ACE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(58, `CALC_RES, 1'b1, 1'b1, 4'd5, 4'd5, `NONE, `KING, `FIVE, `ACE, `JACK, `FOUR);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(59, `TIE, 1'b0, 1'b0, 4'd5, 4'd5, `NONE, `KING, `FIVE, `ACE, `JACK, `FOUR);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(60, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(61, `LOAD_P1, 1'b0, 1'b0, 4'd4, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(62, `LOAD_D1, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `NONE, `FOUR, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(63, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `NONE, `FOUR, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(64, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `KING, `FOUR, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd2)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(65, `LOAD_P3, 1'b0, 1'b0, 4'd6, 4'd4, `NONE, `KING, `FOUR, `TWO, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(66, `LOAD_D3, 1'b1, 1'b0, 4'd6, 4'd4, `TEN, `KING, `FOUR, `TWO, `JACK, `FOUR);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(67, `P_WIN, 1'b0, 1'b0, 4'd6, 4'd4, `TEN, `KING, `FOUR, `TWO, `JACK, `FOUR);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(68, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(69, `LOAD_P1, 1'b0, 1'b0, 4'd4, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(70, `LOAD_D1, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `NONE, `FOUR, `NONE, `NONE, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(71, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `NONE, `FOUR, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd13)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(72, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd4, `NONE, `KING, `FOUR, `NONE, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(73, `LOAD_P3, 1'b0, 1'b0, 4'd2, 4'd4, `NONE, `KING, `FOUR, `EIGHT, `JACK, `FOUR);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(74, `CALC_RES, 1'b0, 1'b1, 4'd2, 4'd4, `NONE, `KING, `FOUR, `EIGHT, `JACK, `FOUR);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(75, `D_WIN, 1'b0, 1'b0, 4'd2, 4'd4, `NONE, `KING, `FOUR, `EIGHT, `JACK, `FOUR);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(76, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(77, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(78, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(79, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd1, `NONE, `NONE, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd2)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(80, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd3, `NONE, `TWO, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd7)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(81, `LOAD_P3, 1'b0, 1'b0, 4'd1, 4'd3, `NONE, `TWO, `ACE, `SEVEN, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(82, `LOAD_D3, 1'b0, 1'b1, 4'd1, 4'd3, `TEN, `TWO, `ACE, `SEVEN, `ACE, `THREE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(83, `D_WIN, 1'b0, 1'b0, 4'd1, 4'd3, `TEN, `TWO, `ACE, `SEVEN, `ACE, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(84, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(85, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(86, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(87, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd1, `NONE, `NONE, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd2)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(88, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd3, `NONE, `TWO, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(89, `LOAD_P3, 1'b0, 1'b0, 4'd2, 4'd3, `NONE, `TWO, `ACE, `EIGHT, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd10)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(90, `CALC_RES, 1'b0, 1'b1, 4'd2, 4'd3, `NONE, `TWO, `ACE, `EIGHT, `ACE, `THREE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(91, `D_WIN, 1'b0, 1'b0, 4'd2, 4'd3, `NONE, `TWO, `ACE, `EIGHT, `ACE, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(92, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(93, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(94, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(95, `LOAD_P2, 1'b0, 1'b0, 4'd4, 4'd1, `NONE, `NONE, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(96, `LOAD_D2, 1'b0, 1'b0, 4'd4, 4'd1, `NONE, `JACK, `ACE, `NONE, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd8)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(97, `LOAD_P3, 1'b0, 1'b0, 4'd2, 4'd1, `NONE, `JACK, `ACE, `EIGHT, `ACE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(98, `LOAD_D3, 1'b1, 1'b1, 4'd2, 4'd2, `ACE, `JACK, `ACE, `EIGHT, `ACE, `THREE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(99, `TIE, 1'b0, 1'b0, 4'd2, 4'd2, `ACE, `JACK, `ACE, `EIGHT, `ACE, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(100, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(101, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(102, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(103, `LOAD_P2, 1'b0, 1'b0, 4'd7, 4'd1, `NONE, `NONE, `ACE, `NONE, `FOUR, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd11)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(104, `LOAD_D2, 1'b0, 1'b0, 4'd7, 4'd1, `NONE, `JACK, `ACE, `NONE, `FOUR, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd6)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(105, `LOAD_D3, 1'b1, 1'b1, 4'd7, 4'd7, `SIX, `JACK, `ACE, `NONE, `FOUR, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(106, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(107, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(108, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(109, `LOAD_P2, 1'b0, 1'b0, 4'd7, 4'd1, `NONE, `NONE, `ACE, `NONE, `FOUR, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd5)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(110, `LOAD_D2, 1'b1, 1'b0, 4'd7, 4'd6, `NONE, `FIVE, `ACE, `NONE, `FOUR, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(111, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(112, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(113, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd4)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(114, `LOAD_P2, 1'b0, 1'b0, 4'd7, 4'd1, `NONE, `NONE, `ACE, `NONE, `FOUR, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd6)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(115, `LOAD_D2, 1'b1, 1'b1, 4'd7, 4'd7, `NONE, `SIX, `ACE, `NONE, `FOUR, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(116, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(117, `LOAD_P1, 1'b0, 1'b0, 4'd3, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd1)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(118, `LOAD_D1, 1'b0, 1'b0, 4'd3, 4'd1, `NONE, `NONE, `ACE, `NONE, `NONE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd3)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(119, `LOAD_P2, 1'b0, 1'b0, 4'd6, 4'd1, `NONE, `NONE, `ACE, `NONE, `THREE, `THREE);


        wait (tb_task5.dut.dp.dc.dealer_card == 4'd6)
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(120, `LOAD_D2, 1'b0, 1'b1, 4'd6, 4'd7, `NONE, `SIX, `ACE, `NONE, `THREE, `THREE);


        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(121, `D_WIN, 1'b0, 1'b0, 4'd6, 4'd7, `NONE, `SIX, `ACE, `NONE, `THREE, `THREE);




        KEY[3] = 1'b0;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        KEY[3] = 1'b1;
        validator(122, `WAIT, 1'b0, 1'b0, 4'b0, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `NONE);


        KEY[3] = 1'bx;
        KEY[0] = 1'b1; #5; KEY[0] = 1'b0; #5;
        validator(123, 4'b000x, 1'bx, 1'bx, 4'b1, 4'b0, `NONE, `NONE, `NONE, `NONE, `NONE, `ACE);

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