| 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 | 10258951 | 1 | T1 | 112 | T2 | 61 | T13 | 450 | ||||
| shake | 4420720 | 1 | T13 | 723 | T4 | 498 | T49 | 58 | ||||
| sha3 | 1552926 | 1 | T12 | 864 | T13 | 194 | 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] | 5972632 | 1 | T12 | 864 | T13 | 917 | T4 | 502 | ||||
| auto[1] | 10259965 | 1 | T1 | 112 | T2 | 61 | T13 | 450 |
| 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] | 15473834 | 1 | T1 | 112 | T2 | 50 | T12 | 864 | ||||
| depth[0x01] | 272153 | 1 | T2 | 3 | T4 | 2 | T15 | 6 | ||||
| depth[0x02] | 156355 | 1 | T2 | 2 | T15 | 6 | T75 | 184 | ||||
| depth[0x03] | 128403 | 1 | T2 | 2 | T15 | 3 | T75 | 86 | ||||
| depth[0x04] | 81676 | 1 | T2 | 2 | T15 | 2 | T75 | 4 | ||||
| depth[0x05] | 49371 | 1 | T2 | 2 | T15 | 1 | T21 | 3 | ||||
| depth[0x06] | 20603 | 1 | T52 | 595 | T42 | 39 | T53 | 888 | ||||
| depth[0x07] | 343 | 1 | T42 | 8 | T135 | 8 | T43 | 4 | ||||
| depth[0x08] | 1677 | 1 | T52 | 48 | T42 | 4 | T53 | 79 | ||||
| depth[0x09] | 1343 | 1 | T52 | 20 | T42 | 14 | T53 | 45 | ||||
| depth[0x0a] | 46839 | 1 | T52 | 1140 | T42 | 200 | T53 | 1817 |
| 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] | 758763 | 1 | T2 | 11 | T4 | 2 | T15 | 18 | ||||
| auto[1] | 15473834 | 1 | T1 | 112 | T2 | 50 | T12 | 864 |
| 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] | 16185758 | 1 | T1 | 112 | T2 | 61 | T12 | 864 | ||||
| auto[1] | 46839 | 1 | T52 | 1140 | T42 | 200 | T53 | 1817 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |