| 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 | 12513967 | 1 | T1 | 83 | T2 | 64 | T4 | 1 | ||||
| shake | 6067213 | 1 | T15 | 101 | T16 | 20 | T18 | 65 | ||||
| sha3 | 2020952 | 1 | T15 | 97 | T16 | 20 | T18 | 77 |
| 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] | 8087022 | 1 | T15 | 198 | T16 | 35 | T18 | 142 | ||||
| auto[1] | 12515110 | 1 | T1 | 83 | T2 | 64 | T4 | 1 |
| 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] | 19928167 | 1 | T1 | 74 | T2 | 63 | T4 | 1 | ||||
| depth[0x01] | 258065 | 1 | T1 | 2 | T2 | 1 | T14 | 1 | ||||
| depth[0x02] | 134020 | 1 | T1 | 4 | T15 | 47 | T21 | 10 | ||||
| depth[0x03] | 110647 | 1 | T1 | 3 | T15 | 28 | T21 | 12 | ||||
| depth[0x04] | 69905 | 1 | T15 | 5 | T21 | 3 | T34 | 8 | ||||
| depth[0x05] | 42330 | 1 | T34 | 2 | T85 | 5 | T24 | 4 | ||||
| depth[0x06] | 16395 | 1 | T46 | 761 | T47 | 1500 | T40 | 33 | ||||
| depth[0x07] | 381 | 1 | T40 | 3 | T186 | 20 | T187 | 1 | ||||
| depth[0x08] | 1338 | 1 | T46 | 64 | T47 | 120 | T40 | 4 | ||||
| depth[0x09] | 1265 | 1 | T46 | 32 | T47 | 68 | T40 | 10 | ||||
| depth[0x0a] | 39619 | 1 | T46 | 1488 | T47 | 2804 | T40 | 136 |
| 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] | 673965 | 1 | T1 | 9 | T2 | 1 | T14 | 1 | ||||
| auto[1] | 19928167 | 1 | T1 | 74 | T2 | 63 | T4 | 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] | 20562513 | 1 | T1 | 83 | T2 | 64 | T4 | 1 | ||||
| auto[1] | 39619 | 1 | T46 | 1488 | T47 | 2804 | T40 | 136 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |