SCORE | WEIGHT | GOAL | AT LEAST | AUTO BIN MAX | PRINT MISSING |
100.00 | 1 | 100 | 1 | 64 | 64 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Variables | 15 | 0 | 15 | 100.00 |
VARIABLE | EXPECTED | UNCOVERED | COVERED | PERCENT | GOAL | WEIGHT | AT LEAST | AUTO BIN MAX | COMMENT |
msg_len | 15 | 0 | 15 | 100.00 | 100 | 1 | 1 | 0 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins | 15 | 0 | 15 | 100.00 |
NAME | COUNT | STATUS |
remainder | 10288 | Excluded |
NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
len_7501_10000 | 8818 | 1 | T2 | 13 | T18 | 42 | T31 | 38 | ||||
len_5001_7500 | 13849 | 1 | T2 | 30 | T18 | 103 | T31 | 36 | ||||
len_2501_5000 | 9085 | 1 | T2 | 13 | T7 | 1 | T18 | 15 | ||||
len_1025_2500 | 5254 | 1 | T2 | 4 | T18 | 7 | T31 | 22 | ||||
len_769_1024 | 6153 | 1 | T2 | 6 | T3 | 32 | T7 | 10 | ||||
len_513_768 | 6523 | 1 | T2 | 13 | T3 | 39 | T7 | 5 | ||||
len_257_512 | 20938 | 1 | T2 | 15 | T3 | 23 | T7 | 9 | ||||
len_0_256 | 255848 | 1 | T2 | 80 | T3 | 31 | T7 | 24 | ||||
len_keccak_block_sizes[72] | 704 | 1 | T31 | 3 | T33 | 2 | T73 | 3 | ||||
len_keccak_block_sizes[104] | 613 | 1 | T18 | 1 | T31 | 3 | T32 | 1 | ||||
len_keccak_block_sizes[136] | 519 | 1 | T31 | 3 | T73 | 3 | T100 | 2 | ||||
len_keccak_block_sizes[144] | 420 | 1 | T31 | 3 | T73 | 3 | T100 | 2 | ||||
len_keccak_block_sizes[168] | 310 | 1 | T2 | 1 | T3 | 1 | T31 | 3 | ||||
len_1 | 745 | 1 | T18 | 1 | T30 | 1 | T31 | 3 | ||||
len_0 | 1193 | 1 | T2 | 6 | T18 | 6 | T30 | 4 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |