| 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 | 16254665 | 1 | T3 | 142 | T32 | 278 | T7 | 7128 | ||||
| shake | 57069764 | 1 | T1 | 462830 | T3 | 234 | T32 | 73 | ||||
| sha3 | 34690347 | 1 | T2 | 208809 | T32 | 3 | T7 | 219 |
| 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] | 91759014 | 1 | T1 | 462830 | T2 | 208809 | T3 | 235 | ||||
| auto[1] | 16255762 | 1 | T3 | 141 | T32 | 278 | T7 | 7128 |
| 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] | 91019562 | 1 | T1 | 461872 | T2 | 153946 | T3 | 357 | ||||
| depth[0x01] | 3725854 | 1 | T1 | 958 | T2 | 12036 | T3 | 5 | ||||
| depth[0x02] | 3300783 | 1 | T2 | 13160 | T3 | 3 | T32 | 45 | ||||
| depth[0x03] | 3093788 | 1 | T2 | 12382 | T3 | 3 | T32 | 36 | ||||
| depth[0x04] | 2750953 | 1 | T2 | 11577 | T3 | 2 | T32 | 4 | ||||
| depth[0x05] | 1587292 | 1 | T2 | 5707 | T3 | 3 | T36 | 10899 | ||||
| depth[0x06] | 512558 | 1 | T2 | 1 | T3 | 3 | T36 | 3 | ||||
| depth[0x07] | 425925 | 1 | T37 | 1 | T45 | 8918 | T46 | 630 | ||||
| depth[0x08] | 419408 | 1 | T37 | 1 | T45 | 8634 | T46 | 196 | ||||
| depth[0x09] | 399915 | 1 | T37 | 13 | T45 | 8417 | T46 | 86 | ||||
| depth[0x0a] | 778738 | 1 | T37 | 35 | T45 | 13160 | T46 | 1260 |
| 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] | 16995214 | 1 | T1 | 958 | T2 | 54863 | T3 | 19 | ||||
| auto[1] | 91019562 | 1 | T1 | 461872 | T2 | 153946 | T3 | 357 |
| 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] | 107236038 | 1 | T1 | 462830 | T2 | 208809 | T3 | 376 | ||||
| auto[1] | 778738 | 1 | T37 | 35 | T45 | 13160 | T46 | 1260 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |