| 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 | 13097636 | 1 | T6 | 1040 | T13 | 25507 | T14 | 11749 | ||||
| shake | 56008921 | 1 | T4 | 459731 | T5 | 456405 | T6 | 992 | ||||
| sha3 | 35234125 | 1 | T6 | 1 | T13 | 403 | T14 | 282 |
| 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] | 91241896 | 1 | T4 | 459731 | T5 | 456405 | T6 | 994 | ||||
| auto[1] | 13098786 | 1 | T6 | 1039 | T13 | 25507 | T14 | 11766 |
| 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] | 102874647 | 1 | T4 | 459731 | T5 | 456405 | T6 | 2028 | ||||
| depth[0x01] | 941092 | 1 | T6 | 5 | T13 | 950 | T14 | 469 | ||||
| depth[0x02] | 172244 | 1 | T13 | 314 | T14 | 151 | T33 | 8 | ||||
| depth[0x03] | 138947 | 1 | T13 | 286 | T14 | 110 | T33 | 9 | ||||
| depth[0x04] | 86780 | 1 | T13 | 126 | T14 | 51 | T33 | 3 | ||||
| depth[0x05] | 51552 | 1 | T13 | 29 | T14 | 9 | T46 | 2 | ||||
| depth[0x06] | 19786 | 1 | T26 | 77 | T43 | 31 | T177 | 482 | ||||
| depth[0x07] | 588 | 1 | T26 | 5 | T43 | 3 | T178 | 2 | ||||
| depth[0x08] | 1670 | 1 | T26 | 7 | T43 | 3 | T177 | 40 | ||||
| depth[0x09] | 1743 | 1 | T26 | 11 | T43 | 6 | T177 | 18 | ||||
| depth[0x0a] | 51633 | 1 | T26 | 279 | T43 | 143 | T177 | 946 |
| 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] | 1466035 | 1 | T6 | 5 | T13 | 1705 | T14 | 790 | ||||
| auto[1] | 102874647 | 1 | T4 | 459731 | T5 | 456405 | T6 | 2028 |
| 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] | 104289049 | 1 | T4 | 459731 | T5 | 456405 | T6 | 2033 | ||||
| auto[1] | 51633 | 1 | T26 | 279 | T43 | 143 | T177 | 946 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |