| 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 | 10404455 | 1 | T1 | 6 | T2 | 80 | T3 | 81 | ||||
| shake | 4739300 | 1 | T14 | 276 | T18 | 270 | T64 | 102 | ||||
| sha3 | 1913843 | 1 | T16 | 1734 | T18 | 1 | T64 | 66 |
| 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] | 6652023 | 1 | T14 | 276 | T16 | 1734 | T18 | 271 | ||||
| auto[1] | 10405575 | 1 | T1 | 6 | T2 | 80 | T3 | 81 |
| 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] | 16206488 | 1 | T1 | 6 | T2 | 80 | T3 | 73 | ||||
| depth[0x01] | 307959 | 1 | T3 | 2 | T17 | 3 | T18 | 2 | ||||
| depth[0x02] | 174840 | 1 | T3 | 2 | T17 | 2 | T77 | 3 | ||||
| depth[0x03] | 143549 | 1 | T3 | 2 | T17 | 2 | T77 | 2 | ||||
| depth[0x04] | 91382 | 1 | T3 | 2 | T17 | 2 | T77 | 1 | ||||
| depth[0x05] | 55168 | 1 | T17 | 2 | T55 | 9 | T57 | 13 | ||||
| depth[0x06] | 22184 | 1 | T50 | 115 | T51 | 526 | T52 | 452 | ||||
| depth[0x07] | 442 | 1 | T52 | 22 | T53 | 17 | T183 | 56 | ||||
| depth[0x08] | 1807 | 1 | T50 | 9 | T51 | 44 | T52 | 28 | ||||
| depth[0x09] | 1572 | 1 | T50 | 6 | T51 | 23 | T52 | 49 | ||||
| depth[0x0a] | 52207 | 1 | T50 | 212 | T51 | 1045 | T52 | 1131 |
| 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] | 851110 | 1 | T3 | 8 | T17 | 11 | T18 | 2 | ||||
| auto[1] | 16206488 | 1 | T1 | 6 | T2 | 80 | T3 | 73 |
| 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] | 17005391 | 1 | T1 | 6 | T2 | 80 | T3 | 81 | ||||
| auto[1] | 52207 | 1 | T50 | 212 | T51 | 1045 | T52 | 1131 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |