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 | 17484268 | 1 | T2 | 846 | T3 | 232 | T11 | 15722 | ||||
shake | 57691848 | 1 | T1 | 454261 | T2 | 101 | T11 | 12033 | ||||
sha3 | 35172262 | 1 | T2 | 53 | T11 | 397 | T12 | 60 |
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] | 92862926 | 1 | T1 | 454261 | T2 | 154 | T11 | 12426 | ||||
auto[1] | 17485452 | 1 | T2 | 846 | T3 | 232 | T11 | 15726 |
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] | 93808175 | 1 | T1 | 442202 | T2 | 826 | T3 | 203 | ||||
depth[0x01] | 3705264 | 1 | T1 | 12001 | T2 | 140 | T3 | 13 | ||||
depth[0x02] | 3154514 | 1 | T1 | 58 | T2 | 34 | T3 | 8 | ||||
depth[0x03] | 2950221 | 1 | T3 | 7 | T11 | 1 | T4 | 10 | ||||
depth[0x04] | 2633615 | 1 | T3 | 1 | T5 | 3 | T14 | 2 | ||||
depth[0x05] | 1538949 | 1 | T15 | 12330 | T6 | 207 | T7 | 2753 | ||||
depth[0x06] | 521039 | 1 | T15 | 2 | T6 | 51 | T7 | 577 | ||||
depth[0x07] | 425954 | 1 | T6 | 48 | T7 | 107 | T8 | 116 | ||||
depth[0x08] | 416621 | 1 | T6 | 58 | T7 | 130 | T8 | 153 | ||||
depth[0x09] | 392438 | 1 | T6 | 44 | T7 | 93 | T8 | 93 | ||||
depth[0x0a] | 801588 | 1 | T6 | 357 | T7 | 780 | T8 | 708 |
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] | 16540203 | 1 | T1 | 12059 | T2 | 174 | T3 | 29 | ||||
auto[1] | 93808175 | 1 | T1 | 442202 | T2 | 826 | T3 | 203 |
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] | 109546790 | 1 | T1 | 454261 | T2 | 1000 | T3 | 232 | ||||
auto[1] | 801588 | 1 | T6 | 357 | T7 | 780 | T8 | 708 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |