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 | 11422181 | 1 | T3 | 32324 | T13 | 13384 | T14 | 1980 | ||||
shake | 55157291 | 1 | T3 | 16636 | T13 | 8748 | T14 | 681 | ||||
sha3 | 35484356 | 1 | T1 | 221271 | T3 | 2267 | T13 | 122 |
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] | 90640565 | 1 | T1 | 221271 | T3 | 18903 | T13 | 8860 | ||||
auto[1] | 11423263 | 1 | T3 | 32324 | T13 | 13394 | T14 | 1980 |
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] | 100853955 | 1 | T1 | 217310 | T3 | 51226 | T13 | 21307 | ||||
depth[0x01] | 814399 | 1 | T1 | 3961 | T3 | 1 | T13 | 573 | ||||
depth[0x02] | 131633 | 1 | T13 | 154 | T14 | 26 | T17 | 1 | ||||
depth[0x03] | 105216 | 1 | T13 | 141 | T14 | 1 | T18 | 9 | ||||
depth[0x04] | 66542 | 1 | T13 | 63 | T18 | 6 | T23 | 69 | ||||
depth[0x05] | 39453 | 1 | T13 | 16 | T18 | 3 | T23 | 12 | ||||
depth[0x06] | 13103 | 1 | T42 | 504 | T43 | 431 | T44 | 230 | ||||
depth[0x07] | 570 | 1 | T42 | 30 | T43 | 28 | T44 | 13 | ||||
depth[0x08] | 1032 | 1 | T42 | 42 | T43 | 33 | T44 | 16 | ||||
depth[0x09] | 1374 | 1 | T42 | 68 | T43 | 54 | T44 | 31 | ||||
depth[0x0a] | 36551 | 1 | T42 | 1646 | T43 | 1395 | T44 | 677 |
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] | 1209873 | 1 | T1 | 3961 | T3 | 1 | T13 | 947 | ||||
auto[1] | 100853955 | 1 | T1 | 217310 | T3 | 51226 | T13 | 21307 |
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] | 102027277 | 1 | T1 | 221271 | T3 | 51227 | T13 | 22254 | ||||
auto[1] | 36551 | 1 | T42 | 1646 | T43 | 1395 | T44 | 677 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |