| 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 | 16650380 | 1 | T8 | 273 | T30 | 48818 | T32 | 811 | ||||
| shake | 57367627 | 1 | T3 | 481383 | T7 | 476431 | T30 | 20805 | ||||
| sha3 | 35266656 | 1 | T30 | 2758 | T32 | 93 | T33 | 223789 |
| 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] | 92633265 | 1 | T3 | 481383 | T7 | 476431 | T30 | 23561 | ||||
| auto[1] | 16651398 | 1 | T8 | 273 | T30 | 48820 | T32 | 811 |
| 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] | 91953203 | 1 | T3 | 368044 | T7 | 362752 | T8 | 262 | ||||
| depth[0x01] | 3775017 | 1 | T3 | 24867 | T7 | 24679 | T8 | 7 | ||||
| depth[0x02] | 3251176 | 1 | T3 | 27394 | T7 | 26741 | T8 | 4 | ||||
| depth[0x03] | 3049362 | 1 | T3 | 25612 | T7 | 25137 | T30 | 1259 | ||||
| depth[0x04] | 2735291 | 1 | T3 | 23798 | T7 | 24567 | T30 | 568 | ||||
| depth[0x05] | 1627078 | 1 | T3 | 11666 | T7 | 12551 | T30 | 146 | ||||
| depth[0x06] | 587970 | 1 | T3 | 2 | T7 | 4 | T30 | 21 | ||||
| depth[0x07] | 486320 | 1 | T30 | 4 | T10 | 432 | T51 | 10089 | ||||
| depth[0x08] | 478144 | 1 | T30 | 3 | T10 | 129 | T51 | 9792 | ||||
| depth[0x09] | 453901 | 1 | T30 | 27 | T10 | 55 | T51 | 9510 | ||||
| depth[0x0a] | 887201 | 1 | T30 | 100 | T10 | 909 | T51 | 15475 |
| 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] | 17331460 | 1 | T3 | 113339 | T7 | 113679 | T8 | 11 | ||||
| auto[1] | 91953203 | 1 | T3 | 368044 | T7 | 362752 | T8 | 262 |
| 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] | 108397462 | 1 | T3 | 481383 | T7 | 476431 | T8 | 273 | ||||
| auto[1] | 887201 | 1 | T30 | 100 | T10 | 909 | T51 | 15475 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |