| 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 | 15353762 | 1 | T3 | 12779 | T7 | 6759 | T8 | 964 | ||||
| shake | 56868873 | 1 | T2 | 457077 | T3 | 3581 | T7 | 1237 | ||||
| sha3 | 35617533 | 1 | T3 | 1074 | T7 | 219 | T8 | 7 |
| 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] | 92485244 | 1 | T2 | 457077 | T3 | 4655 | T7 | 1456 | ||||
| auto[1] | 15354924 | 1 | T3 | 12779 | T7 | 6759 | T8 | 966 |
| 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] | 91715948 | 1 | T2 | 456050 | T3 | 7539 | T7 | 8012 | ||||
| depth[0x01] | 3798615 | 1 | T2 | 1027 | T3 | 1457 | T7 | 152 | ||||
| depth[0x02] | 3278323 | 1 | T3 | 2352 | T7 | 43 | T8 | 14 | ||||
| depth[0x03] | 3056346 | 1 | T3 | 2008 | T7 | 8 | T8 | 7 | ||||
| depth[0x04] | 2719627 | 1 | T3 | 1448 | T38 | 9 | T39 | 10216 | ||||
| depth[0x05] | 1489158 | 1 | T3 | 1114 | T39 | 4054 | T41 | 6014 | ||||
| depth[0x06] | 358649 | 1 | T3 | 685 | T41 | 1 | T42 | 1747 | ||||
| depth[0x07] | 290707 | 1 | T3 | 274 | T42 | 1516 | T45 | 8 | ||||
| depth[0x08] | 285428 | 1 | T3 | 75 | T42 | 1525 | T45 | 13 | ||||
| depth[0x09] | 268891 | 1 | T3 | 30 | T42 | 1470 | T45 | 8 | ||||
| depth[0x0a] | 578476 | 1 | T3 | 452 | T42 | 2337 | T45 | 124 |
| 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] | 16124220 | 1 | T2 | 1027 | T3 | 9895 | T7 | 203 | ||||
| auto[1] | 91715948 | 1 | T2 | 456050 | T3 | 7539 | T7 | 8012 |
| 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] | 107261692 | 1 | T2 | 457077 | T3 | 16982 | T7 | 8215 | ||||
| auto[1] | 578476 | 1 | T3 | 452 | T42 | 2337 | T45 | 124 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |