| 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 | 10988619 | 1 | T1 | 77 | T2 | 154 | T4 | 249 | ||||
| shake | 4834610 | 1 | T3 | 1 | T4 | 157 | T12 | 12 | ||||
| sha3 | 1112347 | 1 | T12 | 10 | T80 | 857 | T21 | 9 |
| 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] | 5945966 | 1 | T3 | 1 | T4 | 156 | T12 | 22 | ||||
| auto[1] | 10989610 | 1 | T1 | 77 | T2 | 154 | T4 | 250 |
| 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] | 16249013 | 1 | T1 | 67 | T2 | 154 | T3 | 1 | ||||
| depth[0x01] | 258220 | 1 | T1 | 5 | T4 | 9 | T12 | 6 | ||||
| depth[0x02] | 138113 | 1 | T1 | 3 | T4 | 4 | T16 | 5 | ||||
| depth[0x03] | 113612 | 1 | T1 | 2 | T4 | 6 | T16 | 4 | ||||
| depth[0x04] | 71994 | 1 | T4 | 4 | T16 | 2 | T5 | 2 | ||||
| depth[0x05] | 42732 | 1 | T4 | 1 | T16 | 1 | T84 | 2 | ||||
| depth[0x06] | 17635 | 1 | T54 | 590 | T55 | 483 | T56 | 797 | ||||
| depth[0x07] | 302 | 1 | T55 | 33 | T56 | 46 | T149 | 59 | ||||
| depth[0x08] | 1476 | 1 | T54 | 54 | T55 | 38 | T56 | 71 | ||||
| depth[0x09] | 1204 | 1 | T54 | 29 | T55 | 71 | T56 | 112 | ||||
| depth[0x0a] | 41275 | 1 | T54 | 1255 | T55 | 1632 | T56 | 2657 |
| 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] | 686563 | 1 | T1 | 10 | T4 | 24 | T12 | 6 | ||||
| auto[1] | 16249013 | 1 | T1 | 67 | T2 | 154 | T3 | 1 |
| 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] | 16894301 | 1 | T1 | 77 | T2 | 154 | T3 | 1 | ||||
| auto[1] | 41275 | 1 | T54 | 1255 | T55 | 1632 | T56 | 2657 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |