| 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 | 11326372 | 1 | T1 | 998 | T13 | 229762 | T18 | 7828 | ||||
| shake | 55269903 | 1 | T1 | 123 | T2 | 570536 | T13 | 49095 | ||||
| sha3 | 35467471 | 1 | T1 | 111 | T3 | 108932 | T13 | 4540 |
| 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] | 90736306 | 1 | T1 | 234 | T2 | 570536 | T3 | 108932 | ||||
| auto[1] | 11327440 | 1 | T1 | 998 | T13 | 229762 | T18 | 7842 |
| 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] | 100565261 | 1 | T1 | 1232 | T2 | 570536 | T3 | 104857 | ||||
| depth[0x01] | 936449 | 1 | T3 | 4075 | T13 | 62 | T17 | 3844 | ||||
| depth[0x02] | 181367 | 1 | T18 | 110 | T23 | 48 | T41 | 49 | ||||
| depth[0x03] | 148534 | 1 | T18 | 87 | T23 | 44 | T41 | 58 | ||||
| depth[0x04] | 94329 | 1 | T18 | 36 | T23 | 18 | T41 | 32 | ||||
| depth[0x05] | 56712 | 1 | T18 | 6 | T23 | 2 | T41 | 9 | ||||
| depth[0x06] | 21318 | 1 | T45 | 253 | T46 | 804 | T47 | 77 | ||||
| depth[0x07] | 628 | 1 | T45 | 12 | T86 | 2 | T171 | 45 | ||||
| depth[0x08] | 1781 | 1 | T45 | 27 | T46 | 65 | T47 | 6 | ||||
| depth[0x09] | 1818 | 1 | T45 | 32 | T46 | 24 | T47 | 4 | ||||
| depth[0x0a] | 55549 | 1 | T45 | 897 | T46 | 1538 | T47 | 140 |
| 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] | 1498485 | 1 | T3 | 4075 | T13 | 62 | T17 | 3844 | ||||
| auto[1] | 100565261 | 1 | T1 | 1232 | T2 | 570536 | T3 | 104857 |
| 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] | 102008197 | 1 | T1 | 1232 | T2 | 570536 | T3 | 108932 | ||||
| auto[1] | 55549 | 1 | T45 | 897 | T46 | 1538 | T47 | 140 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |