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 | 15804150 | 1 | T1 | 5 | T2 | 49574 | T3 | 4537 | ||||
shake | 6786428 | 1 | T2 | 8918 | T3 | 1253 | T8 | 2423 | ||||
sha3 | 2649848 | 1 | T2 | 789 | T3 | 510 | T8 | 170 |
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] | 9435236 | 1 | T2 | 9705 | T3 | 1762 | T8 | 2593 | ||||
auto[1] | 15805190 | 1 | T1 | 5 | T2 | 49576 | T3 | 4538 |
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] | 17524708 | 1 | T1 | 2 | T2 | 48791 | T3 | 6220 | ||||
depth[0x01] | 983458 | 1 | T1 | 2 | T2 | 1544 | T3 | 67 | ||||
depth[0x02] | 1128999 | 1 | T1 | 1 | T2 | 1610 | T3 | 13 | ||||
depth[0x03] | 1064660 | 1 | T2 | 1498 | T34 | 46 | T37 | 6840 | ||||
depth[0x04] | 916515 | 1 | T2 | 1256 | T34 | 7 | T37 | 5683 | ||||
depth[0x05] | 743185 | 1 | T2 | 819 | T37 | 3308 | T13 | 1094 | ||||
depth[0x06] | 580456 | 1 | T2 | 333 | T37 | 202 | T13 | 648 | ||||
depth[0x07] | 488077 | 1 | T2 | 341 | T37 | 128 | T13 | 280 | ||||
depth[0x08] | 480175 | 1 | T2 | 401 | T37 | 160 | T13 | 69 | ||||
depth[0x09] | 456744 | 1 | T2 | 307 | T37 | 142 | T13 | 35 | ||||
depth[0x0a] | 873449 | 1 | T2 | 2381 | T37 | 1127 | T13 | 561 |
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] | 7715718 | 1 | T1 | 3 | T2 | 10490 | T3 | 80 | ||||
auto[1] | 17524708 | 1 | T1 | 2 | T2 | 48791 | T3 | 6220 |
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] | 24366977 | 1 | T1 | 5 | T2 | 56900 | T3 | 6300 | ||||
auto[1] | 873449 | 1 | T2 | 2381 | T37 | 1127 | T13 | 561 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |