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 | 10926814 | 1 | T1 | 250 | T2 | 32 | T3 | 1830 | ||||
shake | 55078236 | 1 | T2 | 44 | T3 | 1098 | T13 | 93 | ||||
sha3 | 35501985 | 1 | T2 | 45 | T12 | 209294 | T13 | 40 |
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] | 90579238 | 1 | T2 | 57 | T3 | 1098 | T12 | 209294 | ||||
auto[1] | 10927797 | 1 | T1 | 250 | T2 | 64 | T3 | 1830 |
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] | 100241677 | 1 | T1 | 209 | T2 | 121 | T3 | 2928 | ||||
depth[0x01] | 864548 | 1 | T1 | 12 | T13 | 29 | T14 | 11 | ||||
depth[0x02] | 130577 | 1 | T1 | 9 | T14 | 12 | T17 | 3425 | ||||
depth[0x03] | 107658 | 1 | T1 | 8 | T14 | 8 | T17 | 2659 | ||||
depth[0x04] | 67672 | 1 | T1 | 8 | T14 | 7 | T17 | 1882 | ||||
depth[0x05] | 39413 | 1 | T1 | 4 | T14 | 1 | T17 | 1158 | ||||
depth[0x06] | 16255 | 1 | T17 | 380 | T41 | 926 | T42 | 214 | ||||
depth[0x07] | 252 | 1 | T17 | 23 | T41 | 56 | T23 | 22 | ||||
depth[0x08] | 1328 | 1 | T17 | 34 | T41 | 68 | T42 | 16 | ||||
depth[0x09] | 1050 | 1 | T17 | 57 | T41 | 118 | T42 | 6 | ||||
depth[0x0a] | 36605 | 1 | T17 | 1286 | T41 | 2801 | T42 | 374 |
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] | 1265358 | 1 | T1 | 41 | T13 | 29 | T14 | 39 | ||||
auto[1] | 100241677 | 1 | T1 | 209 | T2 | 121 | T3 | 2928 |
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] | 101470430 | 1 | T1 | 250 | T2 | 121 | T3 | 2928 | ||||
auto[1] | 36605 | 1 | T17 | 1286 | T41 | 2801 | T42 | 374 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |