| 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 | 12028883 | 1 | T1 | 172 | T2 | 142 | T3 | 111 | ||||
| shake | 5613202 | 1 | T1 | 39 | T16 | 2240 | T18 | 45 | ||||
| sha3 | 1743702 | 1 | T1 | 22 | T12 | 1753 | T13 | 3242 |
| 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] | 7355681 | 1 | T1 | 61 | T12 | 1753 | T13 | 3242 | ||||
| auto[1] | 12030106 | 1 | T1 | 172 | T2 | 142 | T3 | 111 |
| 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] | 18654157 | 1 | T1 | 226 | T2 | 141 | T3 | 91 | ||||
| depth[0x01] | 282167 | 1 | T1 | 6 | T2 | 1 | T3 | 6 | ||||
| depth[0x02] | 145505 | 1 | T1 | 1 | T3 | 4 | T47 | 24 | ||||
| depth[0x03] | 118924 | 1 | T3 | 4 | T47 | 24 | T48 | 121 | ||||
| depth[0x04] | 75352 | 1 | T3 | 4 | T47 | 16 | T48 | 8 | ||||
| depth[0x05] | 45498 | 1 | T3 | 2 | T47 | 6 | T79 | 2 | ||||
| depth[0x06] | 17547 | 1 | T50 | 296 | T51 | 53 | T52 | 115 | ||||
| depth[0x07] | 457 | 1 | T51 | 1 | T52 | 11 | T53 | 8 | ||||
| depth[0x08] | 1429 | 1 | T50 | 24 | T51 | 3 | T52 | 12 | ||||
| depth[0x09] | 1417 | 1 | T50 | 11 | T51 | 3 | T52 | 23 | ||||
| depth[0x0a] | 43334 | 1 | T50 | 557 | T51 | 74 | T52 | 450 |
| 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] | 731630 | 1 | T1 | 7 | T2 | 1 | T3 | 20 | ||||
| auto[1] | 18654157 | 1 | T1 | 226 | T2 | 141 | T3 | 91 |
| 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] | 19342453 | 1 | T1 | 233 | T2 | 142 | T3 | 111 | ||||
| auto[1] | 43334 | 1 | T50 | 557 | T51 | 74 | T52 | 450 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |