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 | 10701689 | 1 | T13 | 114 | T14 | 10417 | T15 | 12212 | ||||
shake | 54963520 | 1 | T3 | 554242 | T13 | 20 | T4 | 6 | ||||
sha3 | 35346545 | 1 | T1 | 211285 | T2 | 158927 | T14 | 210 |
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] | 90308961 | 1 | T1 | 211285 | T2 | 158927 | T3 | 554242 | ||||
auto[1] | 10702793 | 1 | T13 | 114 | T14 | 10434 | T15 | 12212 |
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] | 99653499 | 1 | T1 | 211285 | T2 | 154972 | T3 | 554242 | ||||
depth[0x01] | 906878 | 1 | T2 | 3955 | T13 | 5 | T14 | 35 | ||||
depth[0x02] | 147473 | 1 | T24 | 4 | T87 | 10 | T41 | 9148 | ||||
depth[0x03] | 119509 | 1 | T87 | 10 | T41 | 7700 | T66 | 2 | ||||
depth[0x04] | 76001 | 1 | T87 | 5 | T41 | 5067 | T40 | 62 | ||||
depth[0x05] | 45667 | 1 | T87 | 1 | T41 | 3255 | T40 | 16 | ||||
depth[0x06] | 16522 | 1 | T41 | 1628 | T42 | 210 | T43 | 174 | ||||
depth[0x07] | 554 | 1 | T42 | 15 | T43 | 10 | T44 | 70 | ||||
depth[0x08] | 1314 | 1 | T41 | 135 | T42 | 16 | T43 | 12 | ||||
depth[0x09] | 1472 | 1 | T41 | 52 | T42 | 30 | T43 | 22 | ||||
depth[0x0a] | 42865 | 1 | T41 | 3214 | T42 | 690 | T43 | 493 |
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] | 1358255 | 1 | T2 | 3955 | T13 | 5 | T14 | 35 | ||||
auto[1] | 99653499 | 1 | T1 | 211285 | T2 | 154972 | T3 | 554242 |
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] | 100968889 | 1 | T1 | 211285 | T2 | 158927 | T3 | 554242 | ||||
auto[1] | 42865 | 1 | T41 | 3214 | T42 | 690 | T43 | 493 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |