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] | 13277 | 1 | T1 | 48 | T2 | 13 | T4 | 24 | ||||
legal_values[CompareOpGt] | 2494 | 1 | T1 | 11 | T4 | 12 | T17 | 3 | ||||
legal_values[CompareOpLt] | 4392 | 1 | T1 | 9 | T2 | 2 | T4 | 9 |
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] | 4288 | 1 | T1 | 14 | T2 | 4 | T4 | 15 | ||||
legal_states[OpGenHwOut] | 5033 | 1 | T1 | 15 | T2 | 2 | T4 | 7 |
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] | 3246 | 1 | T1 | 11 | T2 | 2 | T4 | 6 | ||||
legal_states[StOwnerIntKey] | 2795 | 1 | T1 | 6 | T2 | 2 | T4 | 5 | ||||
legal_states[StOwnerKey] | 2479 | 1 | T1 | 8 | T2 | 2 | T4 | 8 |
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] | 356 | 1 | T1 | 1 | T2 | 1 | T4 | 1 | ||||
legal_values[CompareOpEq] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 455 | 1 | T34 | 1 | T36 | 1 | T87 | 1 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 42 | 1 | T105 | 1 | T6 | 1 | T45 | 3 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 42 | 1 | T105 | 2 | T7 | 1 | T45 | 2 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 262 | 1 | T1 | 2 | T4 | 2 | T16 | 1 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 323 | 1 | T1 | 3 | T34 | 1 | T36 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StCreatorRootKey] | legal_states[OpGenSwOut] | 47 | 1 | T1 | 2 | T179 | 1 | T180 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 45 | 1 | T6 | 2 | T7 | 1 | T221 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 39 | 1 | T179 | 1 | T45 | 1 | T351 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 31 | 1 | T7 | 1 | T45 | 3 | T214 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 35 | 1 | T4 | 1 | T19 | 1 | T6 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 36 | 1 | T4 | 1 | T180 | 1 | T45 | 1 | ||||
legal_values[CompareOpLt] | legal_states[StCreatorRootKey] | legal_states[OpGenSwOut] | 283 | 1 | T1 | 1 | T17 | 1 | T44 | 1 | ||||
legal_values[CompareOpLt] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 296 | 1 | T4 | 1 | T109 | 2 | T5 | 1 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 489 | 1 | T1 | 1 | T4 | 3 | T16 | 1 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 655 | 1 | T1 | 1 | T2 | 1 | T17 | 1 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 220 | 1 | T86 | 1 | T105 | 3 | T109 | 3 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 252 | 1 | T19 | 1 | T105 | 2 | T109 | 1 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |