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 | 8876712 | 1 | T1 | 379 | T2 | 251 | T3 | 3033 | ||||
shake | 22944035 | 1 | T1 | 1 | T3 | 338 | T14 | 702 | ||||
sha3 | 34950077 | 1 | T1 | 1 | T12 | 158603 | T14 | 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] | 57893033 | 1 | T3 | 338 | T12 | 158603 | T14 | 705 | ||||
auto[1] | 8877791 | 1 | T1 | 381 | T2 | 251 | T3 | 3033 |
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] | 65446902 | 1 | T1 | 381 | T2 | 251 | T3 | 3140 | ||||
depth[0x01] | 865244 | 1 | T3 | 117 | T12 | 4043 | T13 | 14 | ||||
depth[0x02] | 148273 | 1 | T3 | 36 | T13 | 10 | T18 | 2603 | ||||
depth[0x03] | 122497 | 1 | T3 | 44 | T13 | 6 | T18 | 2215 | ||||
depth[0x04] | 76853 | 1 | T3 | 29 | T13 | 4 | T18 | 1485 | ||||
depth[0x05] | 45766 | 1 | T3 | 5 | T13 | 3 | T18 | 941 | ||||
depth[0x06] | 18608 | 1 | T18 | 480 | T39 | 818 | T40 | 262 | ||||
depth[0x07] | 362 | 1 | T40 | 16 | T169 | 4 | T170 | 49 | ||||
depth[0x08] | 1516 | 1 | T18 | 39 | T39 | 59 | T40 | 19 | ||||
depth[0x09] | 1290 | 1 | T18 | 22 | T39 | 29 | T40 | 32 | ||||
depth[0x0a] | 43513 | 1 | T18 | 928 | T39 | 1389 | T40 | 794 |
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] | 1323922 | 1 | T3 | 231 | T12 | 4043 | T13 | 37 | ||||
auto[1] | 65446902 | 1 | T1 | 381 | T2 | 251 | T3 | 3140 |
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] | 66727311 | 1 | T1 | 381 | T2 | 251 | T3 | 3371 | ||||
auto[1] | 43513 | 1 | T18 | 928 | T39 | 1389 | T40 | 794 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |