| SCORE | WEIGHT | GOAL | AT LEAST | AUTO BIN MAX | PRINT MISSING |
| 100.00 | 1 | 100 | 1 | 64 | 64 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Variables | 20 | 0 | 20 | 100.00 |
| VARIABLE | EXPECTED | UNCOVERED | COVERED | PERCENT | GOAL | WEIGHT | AT LEAST | AUTO BIN MAX | COMMENT |
| hash_mode | 3 | 0 | 3 | 100.00 | 100 | 1 | 1 | 0 | |
| kmac_mode | 2 | 0 | 2 | 100.00 | 100 | 1 | 1 | 2 | |
| msgfifo_depth | 11 | 0 | 11 | 100.00 | 100 | 1 | 1 | 0 | |
| msgfifo_empty | 2 | 0 | 2 | 100.00 | 100 | 1 | 1 | 2 | |
| msgfifo_full | 2 | 0 | 2 | 100.00 | 100 | 1 | 1 | 2 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| User Defined Bins | 3 | 0 | 3 | 100.00 |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| cshake | 16407614 | 1 | T1 | 9767 | T2 | 64927 | T3 | 22301 | ||||
| shake | 56824169 | 1 | T1 | 7723 | T2 | 20983 | T3 | 6224 | ||||
| sha3 | 35246668 | 1 | T1 | 23 | T2 | 1380 | T3 | 447 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[0] | 92069649 | 1 | T1 | 7733 | T2 | 22356 | T3 | 6671 | ||||
| auto[1] | 16408802 | 1 | T1 | 9780 | T2 | 64934 | T3 | 22301 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| User Defined Bins | 11 | 0 | 11 | 100.00 |
| NAME | COUNT | STATUS |
| invalid | 0 | Excluded |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| depth[0x00] | 93088147 | 1 | T1 | 17181 | T2 | 84304 | T3 | 18118 | ||||
| depth[0x01] | 3474598 | 1 | T1 | 266 | T2 | 2575 | T3 | 2556 | ||||
| depth[0x02] | 3040805 | 1 | T1 | 61 | T2 | 285 | T3 | 3576 | ||||
| depth[0x03] | 2838728 | 1 | T1 | 5 | T2 | 112 | T3 | 2616 | ||||
| depth[0x04] | 2540442 | 1 | T2 | 14 | T3 | 1321 | T33 | 4928 | ||||
| depth[0x05] | 1437202 | 1 | T3 | 381 | T33 | 3558 | T35 | 12653 | ||||
| depth[0x06] | 417799 | 1 | T3 | 41 | T33 | 2305 | T35 | 3 | ||||
| depth[0x07] | 337307 | 1 | T3 | 16 | T33 | 846 | T45 | 2 | ||||
| depth[0x08] | 334735 | 1 | T3 | 8 | T33 | 252 | T45 | 2 | ||||
| depth[0x09] | 315862 | 1 | T3 | 65 | T33 | 114 | T45 | 2 | ||||
| depth[0x0a] | 652826 | 1 | T3 | 274 | T33 | 1399 | T45 | 148 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[0] | 15390304 | 1 | T1 | 332 | T2 | 2986 | T3 | 10854 | ||||
| auto[1] | 93088147 | 1 | T1 | 17181 | T2 | 84304 | T3 | 18118 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[0] | 107825625 | 1 | T1 | 17513 | T2 | 87290 | T3 | 28698 | ||||
| auto[1] | 652826 | 1 | T3 | 274 | T33 | 1399 | T45 | 148 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |