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 | 10624150 | 1 | T3 | 283 | T13 | 61 | T16 | 13393 | ||||
shake | 54808317 | 1 | T16 | 3986 | T22 | 2517 | T23 | 8710 | ||||
sha3 | 35417957 | 1 | T13 | 24 | T16 | 46 | T17 | 220338 |
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] | 90225266 | 1 | T13 | 24 | T16 | 4032 | T17 | 220338 | ||||
auto[1] | 10625158 | 1 | T3 | 283 | T13 | 61 | T16 | 13393 |
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] | 99638982 | 1 | T3 | 243 | T13 | 83 | T16 | 17425 | ||||
depth[0x01] | 833163 | 1 | T3 | 12 | T13 | 2 | T17 | 4000 | ||||
depth[0x02] | 124046 | 1 | T3 | 9 | T22 | 112 | T23 | 385 | ||||
depth[0x03] | 100786 | 1 | T3 | 10 | T22 | 94 | T23 | 318 | ||||
depth[0x04] | 63311 | 1 | T3 | 8 | T22 | 61 | T23 | 156 | ||||
depth[0x05] | 37908 | 1 | T3 | 1 | T22 | 9 | T23 | 37 | ||||
depth[0x06] | 13928 | 1 | T24 | 92 | T39 | 721 | T40 | 623 | ||||
depth[0x07] | 431 | 1 | T24 | 4 | T39 | 38 | T40 | 38 | ||||
depth[0x08] | 1108 | 1 | T24 | 11 | T39 | 50 | T40 | 44 | ||||
depth[0x09] | 1192 | 1 | T24 | 12 | T39 | 82 | T40 | 81 | ||||
depth[0x0a] | 35569 | 1 | T24 | 351 | T39 | 2029 | T40 | 1876 |
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] | 1211442 | 1 | T3 | 40 | T13 | 2 | T17 | 4000 | ||||
auto[1] | 99638982 | 1 | T3 | 243 | T13 | 83 | T16 | 17425 |
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] | 100814855 | 1 | T3 | 283 | T13 | 85 | T16 | 17425 | ||||
auto[1] | 35569 | 1 | T24 | 351 | T39 | 2029 | T40 | 1876 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |