| 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 | 11510304 | 1 | T2 | 23490 | T15 | 22278 | T16 | 265 | ||||
| shake | 55319458 | 1 | T2 | 14347 | T4 | 358 | T5 | 2 | ||||
| sha3 | 35421086 | 1 | T2 | 537 | T4 | 160 | T14 | 221281 | 
| 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] | 90739445 | 1 | T2 | 14878 | T4 | 518 | T5 | 2 | ||||
| auto[1] | 11511403 | 1 | T2 | 23496 | T15 | 22278 | T16 | 265 | 
| 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] | 100870197 | 1 | T2 | 38372 | T4 | 494 | T5 | 2 | ||||
| depth[0x01] | 937667 | 1 | T2 | 2 | T4 | 24 | T16 | 1 | ||||
| depth[0x02] | 144654 | 1 | T81 | 1 | T42 | 5540 | T139 | 11 | ||||
| depth[0x03] | 118575 | 1 | T42 | 4790 | T139 | 8 | T28 | 126 | ||||
| depth[0x04] | 74427 | 1 | T42 | 3141 | T139 | 6 | T28 | 58 | ||||
| depth[0x05] | 43896 | 1 | T42 | 2010 | T139 | 3 | T28 | 16 | ||||
| depth[0x06] | 16917 | 1 | T42 | 997 | T43 | 458 | T44 | 112 | ||||
| depth[0x07] | 412 | 1 | T43 | 23 | T44 | 9 | T45 | 20 | ||||
| depth[0x08] | 1382 | 1 | T42 | 85 | T43 | 38 | T44 | 10 | ||||
| depth[0x09] | 1269 | 1 | T42 | 36 | T43 | 48 | T44 | 21 | ||||
| depth[0x0a] | 41452 | 1 | T42 | 2010 | T43 | 1392 | T44 | 447 | 
| 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] | 1380651 | 1 | T2 | 2 | T4 | 24 | T16 | 1 | ||||
| auto[1] | 100870197 | 1 | T2 | 38372 | T4 | 494 | T5 | 2 | 
| 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] | 102209396 | 1 | T2 | 38374 | T4 | 518 | T5 | 2 | ||||
| auto[1] | 41452 | 1 | T42 | 2010 | T43 | 1392 | T44 | 447 | 
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |