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 | 11040728 | 1 | T1 | 258 | T2 | 232 | T3 | 3524 | ||||
shake | 55200220 | 1 | T2 | 36 | T3 | 430 | T14 | 4754 | ||||
sha3 | 35383389 | 1 | T2 | 30 | T13 | 221377 | T14 | 442 |
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] | 90582542 | 1 | T2 | 66 | T3 | 430 | T13 | 221377 | ||||
auto[1] | 11041795 | 1 | T1 | 258 | T2 | 232 | T3 | 3524 |
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] | 100410468 | 1 | T1 | 217 | T2 | 164 | T3 | 3954 | ||||
depth[0x01] | 839582 | 1 | T1 | 13 | T2 | 55 | T14 | 238 | ||||
depth[0x02] | 123460 | 1 | T1 | 8 | T2 | 50 | T14 | 6 | ||||
depth[0x03] | 101361 | 1 | T1 | 9 | T2 | 22 | T18 | 8 | ||||
depth[0x04] | 62278 | 1 | T1 | 6 | T2 | 7 | T18 | 7 | ||||
depth[0x05] | 36308 | 1 | T1 | 5 | T18 | 5 | T25 | 23 | ||||
depth[0x06] | 14289 | 1 | T43 | 29 | T44 | 478 | T45 | 25 | ||||
depth[0x07] | 280 | 1 | T43 | 1 | T188 | 16 | T46 | 5 | ||||
depth[0x08] | 1197 | 1 | T43 | 2 | T44 | 37 | T45 | 4 | ||||
depth[0x09] | 1044 | 1 | T43 | 2 | T44 | 19 | T45 | 1 | ||||
depth[0x0a] | 34070 | 1 | T43 | 75 | T44 | 871 | T45 | 91 |
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] | 1213869 | 1 | T1 | 41 | T2 | 134 | T14 | 244 | ||||
auto[1] | 100410468 | 1 | T1 | 217 | T2 | 164 | T3 | 3954 |
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] | 101590267 | 1 | T1 | 258 | T2 | 298 | T3 | 3954 | ||||
auto[1] | 34070 | 1 | T43 | 75 | T44 | 871 | T45 | 91 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |