| 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 | 11656747 | 1 | T3 | 224 | T4 | 279 | T13 | 14397 | ||||
| shake | 55118235 | 1 | T1 | 1 | T3 | 11 | T13 | 3602 | ||||
| sha3 | 35361277 | 1 | T2 | 112070 | T3 | 50 | T15 | 225 |
| 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] | 90478456 | 1 | T1 | 1 | T2 | 112070 | T3 | 61 | ||||
| auto[1] | 11657803 | 1 | T3 | 224 | T4 | 279 | T13 | 14397 |
| 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] | 100749211 | 1 | T1 | 1 | T2 | 108310 | T3 | 279 | ||||
| depth[0x01] | 947619 | 1 | T2 | 3760 | T3 | 6 | T4 | 13 | ||||
| depth[0x02] | 143709 | 1 | T4 | 11 | T13 | 40 | T41 | 82 | ||||
| depth[0x03] | 117652 | 1 | T4 | 8 | T41 | 82 | T84 | 148 | ||||
| depth[0x04] | 73454 | 1 | T4 | 3 | T41 | 40 | T84 | 82 | ||||
| depth[0x05] | 43581 | 1 | T4 | 2 | T41 | 7 | T84 | 21 | ||||
| depth[0x06] | 16227 | 1 | T42 | 354 | T43 | 270 | T44 | 177 | ||||
| depth[0x07] | 496 | 1 | T165 | 28 | T166 | 46 | T45 | 6 | ||||
| depth[0x08] | 1310 | 1 | T42 | 29 | T43 | 23 | T44 | 21 | ||||
| depth[0x09] | 1401 | 1 | T42 | 16 | T43 | 9 | T44 | 8 | ||||
| depth[0x0a] | 41599 | 1 | T42 | 702 | T43 | 545 | T44 | 502 |
| 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] | 1387048 | 1 | T2 | 3760 | T3 | 6 | T4 | 37 | ||||
| auto[1] | 100749211 | 1 | T1 | 1 | T2 | 108310 | T3 | 279 |
| 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] | 102094660 | 1 | T1 | 1 | T2 | 112070 | T3 | 285 | ||||
| auto[1] | 41599 | 1 | T42 | 702 | T43 | 545 | T44 | 502 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |