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 | 12035610 | 1 | T1 | 147237 | T2 | 7727 | T3 | 31 | ||||
shake | 55351463 | 1 | T1 | 28551 | T2 | 1376 | T3 | 28 | ||||
sha3 | 35400934 | 1 | T2 | 138 | T3 | 23 | T13 | 467 |
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] | 90751316 | 1 | T1 | 28551 | T2 | 1514 | T3 | 31 | ||||
auto[1] | 12036691 | 1 | T1 | 147237 | T2 | 7727 | T3 | 51 |
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] | 101333533 | 1 | T1 | 175747 | T2 | 9034 | T3 | 82 | ||||
depth[0x01] | 921035 | 1 | T1 | 41 | T2 | 190 | T13 | 576 | ||||
depth[0x02] | 170613 | 1 | T2 | 15 | T13 | 215 | T14 | 14 | ||||
depth[0x03] | 140739 | 1 | T2 | 2 | T13 | 188 | T19 | 30 | ||||
depth[0x04] | 89056 | 1 | T13 | 94 | T19 | 3 | T23 | 86 | ||||
depth[0x05] | 54422 | 1 | T13 | 27 | T23 | 25 | T27 | 12 | ||||
depth[0x06] | 22586 | 1 | T44 | 154 | T45 | 772 | T28 | 616 | ||||
depth[0x07] | 409 | 1 | T44 | 12 | T45 | 43 | T28 | 31 | ||||
depth[0x08] | 1851 | 1 | T44 | 13 | T45 | 67 | T28 | 45 | ||||
depth[0x09] | 1566 | 1 | T44 | 24 | T45 | 103 | T28 | 73 | ||||
depth[0x0a] | 52197 | 1 | T44 | 555 | T45 | 2497 | T28 | 1732 |
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] | 1454474 | 1 | T1 | 41 | T2 | 207 | T13 | 1100 | ||||
auto[1] | 101333533 | 1 | T1 | 175747 | T2 | 9034 | T3 | 82 |
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] | 102735810 | 1 | T1 | 175788 | T2 | 9241 | T3 | 82 | ||||
auto[1] | 52197 | 1 | T44 | 555 | T45 | 2497 | T28 | 1732 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |