SCORE | WEIGHT | GOAL | AT LEAST | AUTO BIN MAX | PRINT MISSING |
100.00 | 1 | 100 | 1 | 64 | 64 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Variables | 8 | 0 | 8 | 100.00 |
Crosses | 18 | 0 | 18 | 100.00 |
VARIABLE | EXPECTED | UNCOVERED | COVERED | PERCENT | GOAL | WEIGHT | AT LEAST | AUTO BIN MAX | COMMENT |
key_version_cmp_cp | 3 | 0 | 3 | 100.00 | 100 | 1 | 1 | 0 | |
op_cp | 2 | 0 | 2 | 100.00 | 100 | 1 | 1 | 0 | |
state_cp | 3 | 0 | 3 | 100.00 | 100 | 1 | 1 | 0 |
CROSS | EXPECTED | UNCOVERED | COVERED | PERCENT | GOAL | WEIGHT | AT LEAST | PRINT MISSING | COMMENT |
key_ver_x_state_x_op_cross | 18 | 0 | 18 | 100.00 | 100 | 1 | 1 | 0 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins | 3 | 0 | 3 | 100.00 |
NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
legal_values[CompareOpEq] | 13713 | 1 | T1 | 13 | T2 | 7 | T3 | 3 | ||||
legal_values[CompareOpGt] | 2912 | 1 | T2 | 13 | T3 | 3 | T4 | 10 | ||||
legal_values[CompareOpLt] | 4074 | 1 | T1 | 2 | T2 | 7 | T3 | 3 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins | 2 | 0 | 2 | 100.00 |
NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
legal_states[OpGenSwOut] | 4443 | 1 | T2 | 5 | T4 | 10 | T13 | 3 | ||||
legal_states[OpGenHwOut] | 5273 | 1 | T1 | 8 | T2 | 5 | T3 | 3 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins | 3 | 0 | 3 | 100.00 |
NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
legal_states[StCreatorRootKey] | 3031 | 1 | T1 | 2 | T2 | 5 | T3 | 1 | ||||
legal_states[StOwnerIntKey] | 2633 | 1 | T1 | 2 | T2 | 2 | T3 | 3 | ||||
legal_states[StOwnerKey] | 2347 | 1 | T1 | 2 | T2 | 3 | T3 | 1 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins | 18 | 0 | 18 | 100.00 |
key_version_cmp_cp | state_cp | op_cp | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
legal_values[CompareOpEq] | legal_states[StCreatorRootKey] | legal_states[OpGenSwOut] | 330 | 1 | T13 | 1 | T14 | 1 | T17 | 3 | ||||
legal_values[CompareOpEq] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 464 | 1 | T1 | 1 | T17 | 7 | T18 | 2 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 48 | 1 | T175 | 2 | T54 | 1 | T225 | 1 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 45 | 1 | T175 | 1 | T181 | 1 | T54 | 1 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 191 | 1 | T14 | 1 | T5 | 1 | T115 | 2 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 323 | 1 | T1 | 1 | T18 | 1 | T35 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StCreatorRootKey] | legal_states[OpGenSwOut] | 45 | 1 | T18 | 1 | T177 | 1 | T19 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 50 | 1 | T18 | 1 | T81 | 1 | T177 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 29 | 1 | T177 | 1 | T57 | 1 | T47 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 45 | 1 | T2 | 1 | T191 | 1 | T57 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 47 | 1 | T175 | 1 | T225 | 1 | T7 | 2 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 48 | 1 | T2 | 1 | T81 | 1 | T177 | 1 | ||||
legal_values[CompareOpLt] | legal_states[StCreatorRootKey] | legal_states[OpGenSwOut] | 240 | 1 | T18 | 5 | T34 | 2 | T77 | 2 | ||||
legal_values[CompareOpLt] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 299 | 1 | T2 | 1 | T34 | 1 | T184 | 7 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 449 | 1 | T13 | 1 | T14 | 1 | T18 | 2 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 595 | 1 | T1 | 1 | T3 | 2 | T18 | 3 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 222 | 1 | T2 | 1 | T18 | 1 | T77 | 2 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 245 | 1 | T18 | 2 | T128 | 1 | T58 | 3 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |