| 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 | 11735828 | 1 | T1 | 148 | T2 | 64 | T11 | 9 | ||||
| shake | 4979103 | 1 | T11 | 8 | T12 | 78 | T60 | 75 | ||||
| sha3 | 1462673 | 1 | T11 | 7 | T12 | 108 | T14 | 3293 |
| 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] | 6440655 | 1 | T11 | 7 | T12 | 186 | T14 | 3293 | ||||
| auto[1] | 11736949 | 1 | T1 | 148 | T2 | 64 | T11 | 17 |
| 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] | 17528138 | 1 | T1 | 130 | T2 | 53 | T11 | 24 | ||||
| depth[0x01] | 256028 | 1 | T1 | 8 | T2 | 3 | T12 | 116 | ||||
| depth[0x02] | 129278 | 1 | T1 | 4 | T2 | 2 | T12 | 103 | ||||
| depth[0x03] | 104839 | 1 | T1 | 6 | T2 | 2 | T12 | 53 | ||||
| depth[0x04] | 66062 | 1 | T2 | 2 | T12 | 5 | T75 | 6 | ||||
| depth[0x05] | 39061 | 1 | T2 | 2 | T22 | 7 | T47 | 12 | ||||
| depth[0x06] | 14732 | 1 | T49 | 114 | T50 | 846 | T51 | 322 | ||||
| depth[0x07] | 394 | 1 | T51 | 24 | T141 | 35 | T53 | 11 | ||||
| depth[0x08] | 1194 | 1 | T49 | 11 | T50 | 70 | T51 | 24 | ||||
| depth[0x09] | 1191 | 1 | T49 | 5 | T50 | 37 | T51 | 43 | ||||
| depth[0x0a] | 36687 | 1 | T49 | 269 | T50 | 1635 | T51 | 1078 |
| 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] | 649466 | 1 | T1 | 18 | T2 | 11 | T12 | 277 | ||||
| auto[1] | 17528138 | 1 | T1 | 130 | T2 | 53 | T11 | 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] | 18140917 | 1 | T1 | 148 | T2 | 64 | T11 | 24 | ||||
| auto[1] | 36687 | 1 | T49 | 269 | T50 | 1635 | T51 | 1078 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |