| 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 | 15222731 | 1 | T3 | 8742 | T15 | 187620 | T32 | 78256 | ||||
| shake | 57067462 | 1 | T1 | 2 | T3 | 8646 | T15 | 83970 | ||||
| sha3 | 35130589 | 1 | T3 | 19 | T15 | 4288 | T18 | 159235 |
| 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] | 92196951 | 1 | T1 | 2 | T3 | 8658 | T15 | 88258 | ||||
| auto[1] | 15223831 | 1 | T3 | 8749 | T15 | 187620 | T32 | 78256 |
| 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] | 93347102 | 1 | T1 | 2 | T3 | 15090 | T15 | 273490 | ||||
| depth[0x01] | 3284825 | 1 | T3 | 349 | T15 | 2295 | T18 | 514 | ||||
| depth[0x02] | 2710471 | 1 | T3 | 352 | T15 | 92 | T33 | 12952 | ||||
| depth[0x03] | 2528944 | 1 | T3 | 367 | T15 | 1 | T33 | 12163 | ||||
| depth[0x04] | 2259924 | 1 | T3 | 310 | T33 | 11998 | T34 | 12319 | ||||
| depth[0x05] | 1296875 | 1 | T3 | 215 | T33 | 6186 | T34 | 6581 | ||||
| depth[0x06] | 404833 | 1 | T3 | 60 | T34 | 1 | T32 | 719 | ||||
| depth[0x07] | 328704 | 1 | T3 | 68 | T32 | 101 | T31 | 200 | ||||
| depth[0x08] | 322041 | 1 | T3 | 74 | T32 | 126 | T31 | 263 | ||||
| depth[0x09] | 303269 | 1 | T3 | 55 | T32 | 84 | T31 | 204 | ||||
| depth[0x0a] | 633794 | 1 | T3 | 467 | T32 | 864 | T31 | 1845 |
| 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] | 14073680 | 1 | T3 | 2317 | T15 | 2388 | T18 | 514 | ||||
| auto[1] | 93347102 | 1 | T1 | 2 | T3 | 15090 | T15 | 273490 |
| 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] | 106786988 | 1 | T1 | 2 | T3 | 16940 | T15 | 275878 | ||||
| auto[1] | 633794 | 1 | T3 | 467 | T32 | 864 | T31 | 1845 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |