| 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 | 16068148 | 1 | T3 | 174 | T11 | 111 | T9 | 511 | ||||
| shake | 6864034 | 1 | T9 | 58 | T4 | 20 | T27 | 59 | ||||
| sha3 | 2362295 | 1 | T9 | 1 | T37 | 872 | T4 | 10 |
| 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] | 9225293 | 1 | T9 | 59 | T37 | 872 | T4 | 22 | ||||
| auto[1] | 16069184 | 1 | T3 | 174 | T11 | 111 | T9 | 511 |
| 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] | 18365461 | 1 | T3 | 60 | T11 | 98 | T9 | 553 | ||||
| depth[0x01] | 982689 | 1 | T3 | 8 | T11 | 6 | T9 | 11 | ||||
| depth[0x02] | 1076887 | 1 | T3 | 9 | T11 | 4 | T9 | 4 | ||||
| depth[0x03] | 1012381 | 1 | T3 | 9 | T11 | 3 | T9 | 2 | ||||
| depth[0x04] | 878672 | 1 | T3 | 9 | T39 | 5 | T27 | 4 | ||||
| depth[0x05] | 671741 | 1 | T3 | 8 | T39 | 2 | T43 | 2 | ||||
| depth[0x06] | 474283 | 1 | T3 | 4 | T39 | 2 | T43 | 2 | ||||
| depth[0x07] | 382344 | 1 | T3 | 4 | T39 | 2 | T43 | 2 | ||||
| depth[0x08] | 377527 | 1 | T3 | 6 | T39 | 3 | T43 | 2 | ||||
| depth[0x09] | 354841 | 1 | T3 | 5 | T39 | 2 | T43 | 3 | ||||
| depth[0x0a] | 717651 | 1 | T3 | 52 | T39 | 38 | T43 | 178 |
| 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] | 6929016 | 1 | T3 | 114 | T11 | 13 | T9 | 17 | ||||
| auto[1] | 18365461 | 1 | T3 | 60 | T11 | 98 | T9 | 553 |
| 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] | 24576826 | 1 | T3 | 122 | T11 | 111 | T9 | 570 | ||||
| auto[1] | 717651 | 1 | T3 | 52 | T39 | 38 | T43 | 178 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |