| 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 | 10095430 | 1 | T1 | 5751 | T2 | 16414 | T3 | 1198 | ||||
| shake | 5168651 | 1 | T1 | 3791 | T2 | 6348 | T3 | 172 | ||||
| sha3 | 2588937 | 1 | T1 | 49 | T2 | 724 | T3 | 111 |
| 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] | 7756524 | 1 | T1 | 3829 | T2 | 7072 | T3 | 283 | ||||
| auto[1] | 10096494 | 1 | T1 | 5762 | T2 | 16414 | T3 | 1198 |
| 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] | 17179020 | 1 | T1 | 9591 | T2 | 10205 | T3 | 1445 | ||||
| depth[0x01] | 295596 | 1 | T2 | 2509 | T3 | 36 | T12 | 176 | ||||
| depth[0x02] | 123660 | 1 | T2 | 3473 | T12 | 18 | T4 | 2 | ||||
| depth[0x03] | 100819 | 1 | T2 | 2653 | T12 | 1 | T4 | 2 | ||||
| depth[0x04] | 63935 | 1 | T2 | 1939 | T37 | 47 | T26 | 60 | ||||
| depth[0x05] | 37431 | 1 | T2 | 1166 | T37 | 10 | T26 | 14 | ||||
| depth[0x06] | 14205 | 1 | T2 | 372 | T38 | 473 | T23 | 245 | ||||
| depth[0x07] | 346 | 1 | T2 | 22 | T23 | 12 | T178 | 32 | ||||
| depth[0x08] | 1191 | 1 | T2 | 25 | T38 | 41 | T23 | 21 | ||||
| depth[0x09] | 1103 | 1 | T2 | 46 | T38 | 14 | T23 | 27 | ||||
| depth[0x0a] | 35712 | 1 | T2 | 1076 | T38 | 976 | T23 | 740 |
| 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] | 673998 | 1 | T2 | 13281 | T3 | 36 | T12 | 195 | ||||
| auto[1] | 17179020 | 1 | T1 | 9591 | T2 | 10205 | T3 | 1445 |
| 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] | 17817306 | 1 | T1 | 9591 | T2 | 22410 | T3 | 1481 | ||||
| auto[1] | 35712 | 1 | T2 | 1076 | T38 | 976 | T23 | 740 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |