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 | 12858678 | 1 | T5 | 271 | T13 | 14477 | T14 | 251 | ||||
shake | 55986065 | 1 | T6 | 558896 | T13 | 14035 | T15 | 986 | ||||
sha3 | 35460512 | 1 | T4 | 220343 | T13 | 158 | T15 | 4 |
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] | 91445491 | 1 | T4 | 220343 | T6 | 558896 | T13 | 14184 | ||||
auto[1] | 12859766 | 1 | T5 | 271 | T13 | 14486 | T14 | 251 |
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] | 102885140 | 1 | T4 | 220343 | T5 | 231 | T6 | 558896 | ||||
depth[0x01] | 883905 | 1 | T5 | 13 | T13 | 805 | T15 | 100 | ||||
depth[0x02] | 174947 | 1 | T5 | 11 | T13 | 531 | T15 | 36 | ||||
depth[0x03] | 141734 | 1 | T5 | 8 | T13 | 418 | T15 | 30 | ||||
depth[0x04] | 88554 | 1 | T5 | 5 | T13 | 240 | T15 | 17 | ||||
depth[0x05] | 53586 | 1 | T5 | 3 | T13 | 120 | T15 | 4 | ||||
depth[0x06] | 20894 | 1 | T13 | 27 | T28 | 304 | T156 | 194 | ||||
depth[0x07] | 512 | 1 | T13 | 2 | T28 | 18 | T156 | 8 | ||||
depth[0x08] | 1784 | 1 | T13 | 1 | T28 | 24 | T156 | 17 | ||||
depth[0x09] | 1686 | 1 | T13 | 4 | T28 | 42 | T156 | 23 | ||||
depth[0x0a] | 52515 | 1 | T13 | 65 | T28 | 947 | T156 | 569 |
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] | 1420117 | 1 | T5 | 40 | T13 | 2213 | T15 | 187 | ||||
auto[1] | 102885140 | 1 | T4 | 220343 | T5 | 231 | T6 | 558896 |
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] | 104252742 | 1 | T4 | 220343 | T5 | 271 | T6 | 558896 | ||||
auto[1] | 52515 | 1 | T13 | 65 | T28 | 947 | T156 | 569 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |