| 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 | 15223923 | 1 | T3 | 3 | T10 | 167 | T9 | 4579 | ||||
| shake | 6529715 | 1 | T9 | 5256 | T4 | 3 | T29 | 57 | ||||
| sha3 | 1999532 | 1 | T9 | 18 | T4 | 4 | T29 | 8 |
| 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] | 8528128 | 1 | T9 | 5264 | T4 | 5 | T29 | 65 | ||||
| auto[1] | 15225042 | 1 | T3 | 3 | T10 | 167 | T9 | 4589 |
| 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] | 17734965 | 1 | T3 | 3 | T10 | 68 | T9 | 9549 | ||||
| depth[0x01] | 890492 | 1 | T10 | 10 | T9 | 221 | T16 | 5 | ||||
| depth[0x02] | 961660 | 1 | T10 | 10 | T9 | 50 | T16 | 2 | ||||
| depth[0x03] | 894167 | 1 | T10 | 11 | T9 | 27 | T45 | 3 | ||||
| depth[0x04] | 760005 | 1 | T10 | 10 | T9 | 6 | T29 | 5 | ||||
| depth[0x05] | 571366 | 1 | T10 | 7 | T48 | 2 | T30 | 7 | ||||
| depth[0x06] | 393804 | 1 | T10 | 4 | T48 | 2 | T30 | 3 | ||||
| depth[0x07] | 318818 | 1 | T10 | 8 | T48 | 2 | T30 | 3 | ||||
| depth[0x08] | 312981 | 1 | T10 | 3 | T48 | 3 | T30 | 3 | ||||
| depth[0x09] | 295724 | 1 | T10 | 2 | T48 | 2 | T30 | 2 | ||||
| depth[0x0a] | 619188 | 1 | T10 | 34 | T48 | 38 | T30 | 24 |
| 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] | 6018205 | 1 | T10 | 99 | T9 | 304 | T16 | 7 | ||||
| auto[1] | 17734965 | 1 | T3 | 3 | T10 | 68 | T9 | 9549 |
| 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] | 23133982 | 1 | T3 | 3 | T10 | 133 | T9 | 9853 | ||||
| auto[1] | 619188 | 1 | T10 | 34 | T48 | 38 | T30 | 24 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |