| 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 | 11626640 | 1 | T1 | 80 | T2 | 61 | T12 | 78 | ||||
| shake | 5003929 | 1 | T13 | 2195 | T14 | 3125 | T5 | 35 | ||||
| sha3 | 1931791 | 1 | T13 | 9 | T14 | 90 | T5 | 2 |
| 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] | 6934637 | 1 | T13 | 2195 | T14 | 3216 | T5 | 34 | ||||
| auto[1] | 11627723 | 1 | T1 | 80 | T2 | 61 | T12 | 78 |
| 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] | 17695798 | 1 | T1 | 72 | T2 | 50 | T12 | 68 | ||||
| depth[0x01] | 319918 | 1 | T1 | 2 | T2 | 3 | T12 | 4 | ||||
| depth[0x02] | 174901 | 1 | T1 | 3 | T2 | 2 | T12 | 2 | ||||
| depth[0x03] | 144978 | 1 | T1 | 2 | T2 | 2 | T12 | 3 | ||||
| depth[0x04] | 92292 | 1 | T1 | 1 | T2 | 2 | T12 | 1 | ||||
| depth[0x05] | 55312 | 1 | T2 | 2 | T14 | 8 | T146 | 1 | ||||
| depth[0x06] | 23162 | 1 | T43 | 186 | T44 | 233 | T45 | 398 | ||||
| depth[0x07] | 344 | 1 | T44 | 15 | T47 | 26 | T192 | 28 | ||||
| depth[0x08] | 1902 | 1 | T43 | 13 | T44 | 16 | T45 | 33 | ||||
| depth[0x09] | 1448 | 1 | T43 | 5 | T44 | 27 | T45 | 11 | ||||
| depth[0x0a] | 52305 | 1 | T43 | 309 | T44 | 731 | T45 | 783 |
| 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] | 866562 | 1 | T1 | 8 | T2 | 11 | T12 | 10 | ||||
| auto[1] | 17695798 | 1 | T1 | 72 | T2 | 50 | T12 | 68 |
| 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] | 18510055 | 1 | T1 | 80 | T2 | 61 | T12 | 78 | ||||
| auto[1] | 52305 | 1 | T43 | 309 | T44 | 731 | T45 | 783 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |