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 | 11094648 | 1 | T1 | 94 | T3 | 576 | T13 | 5434 | ||||
shake | 55123532 | 1 | T1 | 11 | T3 | 472 | T12 | 564369 | ||||
sha3 | 35460060 | 1 | T1 | 14 | T2 | 220958 | T13 | 256 |
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] | 90582687 | 1 | T1 | 25 | T2 | 220958 | T3 | 472 | ||||
auto[1] | 11095553 | 1 | T1 | 94 | T3 | 576 | T13 | 5438 |
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] | 100504004 | 1 | T1 | 119 | T2 | 216991 | T3 | 389 | ||||
depth[0x01] | 821658 | 1 | T2 | 3967 | T3 | 95 | T13 | 1 | ||||
depth[0x02] | 117592 | 1 | T3 | 182 | T15 | 64 | T16 | 82 | ||||
depth[0x03] | 95700 | 1 | T3 | 153 | T15 | 66 | T16 | 76 | ||||
depth[0x04] | 59257 | 1 | T3 | 97 | T15 | 24 | T16 | 32 | ||||
depth[0x05] | 33906 | 1 | T3 | 61 | T15 | 5 | T16 | 8 | ||||
depth[0x06] | 12913 | 1 | T3 | 22 | T39 | 89 | T40 | 265 | ||||
depth[0x07] | 280 | 1 | T39 | 2 | T42 | 21 | T166 | 47 | ||||
depth[0x08] | 1056 | 1 | T3 | 2 | T39 | 6 | T40 | 24 | ||||
depth[0x09] | 977 | 1 | T3 | 2 | T39 | 4 | T40 | 13 | ||||
depth[0x0a] | 30897 | 1 | T3 | 45 | T39 | 181 | T40 | 575 |
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] | 1174236 | 1 | T2 | 3967 | T3 | 659 | T13 | 1 | ||||
auto[1] | 100504004 | 1 | T1 | 119 | T2 | 216991 | T3 | 389 |
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] | 101647343 | 1 | T1 | 119 | T2 | 220958 | T3 | 1003 | ||||
auto[1] | 30897 | 1 | T3 | 45 | T39 | 181 | T40 | 575 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |