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] | 14101 | 1 | T1 | 13 | T2 | 12 | T3 | 13 | ||||
legal_values[CompareOpGt] | 3176 | 1 | T2 | 1 | T4 | 7 | T5 | 8 | ||||
legal_values[CompareOpLt] | 4176 | 1 | T1 | 2 | T2 | 4 | T3 | 2 |
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] | 4584 | 1 | T2 | 3 | T4 | 4 | T5 | 3 | ||||
legal_states[OpGenHwOut] | 5600 | 1 | T1 | 8 | T2 | 5 | T3 | 8 |
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] | 2984 | 1 | T1 | 2 | T2 | 3 | T3 | 2 | ||||
legal_states[StOwnerIntKey] | 2810 | 1 | T1 | 2 | T2 | 5 | T3 | 2 | ||||
legal_states[StOwnerKey] | 2343 | 1 | T1 | 2 | T2 | 2 | T3 | 2 |
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] | 288 | 1 | T129 | 2 | T131 | 1 | T6 | 4 | ||||
legal_values[CompareOpEq] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 411 | 1 | T1 | 1 | T3 | 1 | T4 | 1 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 57 | 1 | T2 | 1 | T6 | 1 | T60 | 2 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 68 | 1 | T2 | 2 | T6 | 1 | T50 | 3 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 220 | 1 | T19 | 2 | T30 | 1 | T104 | 1 | ||||
legal_values[CompareOpEq] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 340 | 1 | T1 | 1 | T3 | 1 | T15 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StCreatorRootKey] | legal_states[OpGenSwOut] | 43 | 1 | T6 | 1 | T50 | 1 | T7 | 2 | ||||
legal_values[CompareOpGt] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 48 | 1 | T4 | 1 | T6 | 2 | T50 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 41 | 1 | T6 | 3 | T7 | 2 | T245 | 2 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 39 | 1 | T6 | 1 | T86 | 1 | T7 | 2 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 45 | 1 | T50 | 1 | T60 | 3 | T7 | 1 | ||||
legal_values[CompareOpGt] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 48 | 1 | T30 | 1 | T6 | 2 | T7 | 1 | ||||
legal_values[CompareOpLt] | legal_states[StCreatorRootKey] | legal_states[OpGenSwOut] | 247 | 1 | T2 | 1 | T30 | 1 | T6 | 4 | ||||
legal_values[CompareOpLt] | legal_states[StCreatorRootKey] | legal_states[OpGenHwOut] | 320 | 1 | T2 | 1 | T119 | 2 | T6 | 4 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerIntKey] | legal_states[OpGenSwOut] | 471 | 1 | T4 | 1 | T5 | 1 | T19 | 2 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerIntKey] | legal_states[OpGenHwOut] | 662 | 1 | T1 | 1 | T3 | 1 | T15 | 1 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerKey] | legal_states[OpGenSwOut] | 187 | 1 | T4 | 2 | T18 | 1 | T119 | 3 | ||||
legal_values[CompareOpLt] | legal_states[StOwnerKey] | legal_states[OpGenHwOut] | 220 | 1 | T2 | 1 | T4 | 1 | T18 | 1 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |