| SCORE | WEIGHT | GOAL | AT LEAST | AUTO BIN MAX | PRINT MISSING |
| 17.12 | 1 | 100 | 1 | 64 | 64 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Variables | 17 | 5 | 12 | 70.59 |
| Crosses | 240 | 208 | 32 | 13.33 |
| VARIABLE | EXPECTED | UNCOVERED | COVERED | PERCENT | GOAL | WEIGHT | AT LEAST | AUTO BIN MAX | COMMENT |
| cdi_cp | 2 | 1 | 1 | 50.00 | 100 | 1 | 1 | 0 | |
| dest_cp | 4 | 0 | 4 | 100.00 | 100 | 1 | 1 | 0 | |
| op_cp | 5 | 2 | 3 | 60.00 | 100 | 1 | 1 | 0 | |
| op_status_cp | 2 | 0 | 2 | 100.00 | 100 | 1 | 1 | 0 | |
| state_cp | 4 | 2 | 2 | 50.00 | 100 | 1 | 1 | 0 |
| CROSS | EXPECTED | UNCOVERED | COVERED | PERCENT | GOAL | WEIGHT | AT LEAST | PRINT MISSING | COMMENT |
| op_x_state_cross | 160 | 144 | 16 | 10.00 | 100 | 1 | 1 | 0 | |
| op_x_status_cross | 80 | 64 | 16 | 20.00 | 100 | 1 | 1 | 0 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins | 2 | 1 | 1 | 50.00 |
| NAME | COUNT | AT LEAST | NUMBER | STATUS |
| auto[Attestation] | 0 | 1 | 1 |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[Sealing] | 789 | 1 | T1 | 11 | T4 | 23 | T5 | 12 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins | 4 | 0 | 4 | 100.00 |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[None] | 202 | 1 | T1 | 2 | T4 | 9 | T5 | 2 | ||||
| auto[Aes] | 202 | 1 | T1 | 4 | T4 | 6 | T5 | 1 | ||||
| auto[Kmac] | 191 | 1 | T1 | 3 | T4 | 3 | T5 | 5 | ||||
| auto[Otbn] | 194 | 1 | T1 | 2 | T4 | 5 | T5 | 4 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins | 5 | 2 | 3 | 60.00 |
| NAME | COUNT | AT LEAST | NUMBER | STATUS |
| auto[OpDpeErase] | 0 | 1 | 1 | |
| auto[OpDpeDisable] | 0 | 1 | 1 |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[OpDpeAdvance] | 250 | 1 | T1 | 5 | T4 | 5 | T5 | 5 | ||||
| auto[OpDpeGenSwOut] | 394 | 1 | T1 | 8 | T4 | 8 | T5 | 6 | ||||
| auto[OpDpeGenHwOut] | 395 | 1 | T1 | 3 | T4 | 15 | T5 | 6 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 |
| NAME | COUNT | STATUS |
| auto[OpIdle] | 0 | Excluded |
| auto[OpWip] | 0 | Excluded |
| illegal | 0 | Excluded |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[OpDoneSuccess] | 767 | 1 | T1 | 13 | T4 | 17 | T5 | 15 | ||||
| auto[OpDoneFail] | 272 | 1 | T1 | 3 | T4 | 11 | T5 | 2 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins | 4 | 2 | 2 | 50.00 |
| NAME | COUNT | AT LEAST | NUMBER | STATUS |
| auto[StWorkDpeDisabled] | 0 | 1 | 1 | |
| auto[StWorkDpeInvalid] | 0 | 1 | 1 |
| NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[StWorkDpeReset] | 215 | 1 | T1 | 1 | T4 | 12 | T5 | 1 | ||||
| auto[StWorkDpeAvailable] | 824 | 1 | T1 | 15 | T4 | 16 | T5 | 16 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
| Automatically Generated Cross Bins | 160 | 144 | 16 | 10.00 | 144 |
| op_cp | cdi_cp | dest_cp | state_cp | COUNT | AT LEAST | NUMBER | STATUS |
| [auto[OpDpeAdvance] , auto[OpDpeErase]] | * | * | * | -- | -- | 64 | |
| [auto[OpDpeGenSwOut] , auto[OpDpeGenHwOut]] | [auto[Sealing]] | * | [auto[StWorkDpeDisabled] , auto[StWorkDpeInvalid]] | -- | -- | 16 | |
| [auto[OpDpeGenSwOut] , auto[OpDpeGenHwOut]] | [auto[Attestation]] | * | * | -- | -- | 32 | |
| [auto[OpDpeDisable]] | * | * | * | -- | -- | 32 |
| op_cp | cdi_cp | dest_cp | state_cp | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[None] | auto[StWorkDpeReset] | 15 | 1 | T4 | 1 | T6 | 2 | T20 | 1 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[None] | auto[StWorkDpeAvailable] | 79 | 1 | T1 | 1 | T4 | 2 | T5 | 1 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Aes] | auto[StWorkDpeReset] | 35 | 1 | T4 | 2 | T6 | 1 | T8 | 1 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Aes] | auto[StWorkDpeAvailable] | 69 | 1 | T1 | 3 | T5 | 1 | T7 | 3 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Kmac] | auto[StWorkDpeReset] | 17 | 1 | T6 | 2 | T20 | 1 | T24 | 3 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Kmac] | auto[StWorkDpeAvailable] | 90 | 1 | T1 | 3 | T4 | 1 | T5 | 4 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Otbn] | auto[StWorkDpeReset] | 16 | 1 | T4 | 2 | T6 | 1 | T8 | 1 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Otbn] | auto[StWorkDpeAvailable] | 73 | 1 | T1 | 1 | T6 | 2 | T12 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[None] | auto[StWorkDpeReset] | 27 | 1 | T4 | 2 | T6 | 3 | T20 | 2 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[None] | auto[StWorkDpeAvailable] | 81 | 1 | T1 | 1 | T4 | 4 | T5 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Aes] | auto[StWorkDpeReset] | 21 | 1 | T4 | 2 | T24 | 2 | T86 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Aes] | auto[StWorkDpeAvailable] | 77 | 1 | T1 | 1 | T4 | 2 | T6 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Kmac] | auto[StWorkDpeReset] | 22 | 1 | T4 | 1 | T6 | 2 | T8 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Kmac] | auto[StWorkDpeAvailable] | 62 | 1 | T4 | 1 | T5 | 1 | T6 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Otbn] | auto[StWorkDpeReset] | 12 | 1 | T4 | 1 | T6 | 1 | T24 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Otbn] | auto[StWorkDpeAvailable] | 93 | 1 | T1 | 1 | T4 | 2 | T5 | 4 |
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
| Automatically Generated Cross Bins | 80 | 64 | 16 | 20.00 | 64 |
| op_cp | cdi_cp | dest_cp | op_status_cp | COUNT | AT LEAST | NUMBER | STATUS |
| [auto[OpDpeAdvance] , auto[OpDpeErase]] | * | * | * | -- | -- | 32 | |
| [auto[OpDpeGenSwOut] , auto[OpDpeGenHwOut]] | [auto[Attestation]] | * | * | -- | -- | 16 | |
| [auto[OpDpeDisable]] | * | * | * | -- | -- | 16 |
| op_cp | cdi_cp | dest_cp | op_status_cp | COUNT | STATUS | |
| [auto[OpDpeAdvance] , auto[OpDpeErase] , auto[OpDpeGenSwOut] , auto[OpDpeGenHwOut] , auto[OpDpeDisable]] | [auto[Sealing] , auto[Attestation]] | [auto[None] , auto[Aes] , auto[Kmac] , auto[Otbn]] | [auto[OpIdle] , auto[OpWip]] | -- | Excluded | (80 bins) |
| op_cp | cdi_cp | dest_cp | op_status_cp | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[None] | auto[OpDoneSuccess] | 63 | 1 | T1 | 1 | T4 | 2 | T6 | 1 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[None] | auto[OpDoneFail] | 31 | 1 | T4 | 1 | T5 | 1 | T6 | 3 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Aes] | auto[OpDoneSuccess] | 60 | 1 | T1 | 2 | T5 | 1 | T7 | 2 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Aes] | auto[OpDoneFail] | 44 | 1 | T1 | 1 | T4 | 2 | T6 | 1 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Kmac] | auto[OpDoneSuccess] | 75 | 1 | T1 | 2 | T4 | 1 | T5 | 4 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Kmac] | auto[OpDoneFail] | 32 | 1 | T1 | 1 | T6 | 2 | T12 | 1 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Otbn] | auto[OpDoneSuccess] | 66 | 1 | T6 | 2 | T12 | 1 | T8 | 1 | ||||
| auto[OpDpeGenSwOut] | auto[Sealing] | auto[Otbn] | auto[OpDoneFail] | 23 | 1 | T1 | 1 | T4 | 2 | T6 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[None] | auto[OpDoneSuccess] | 65 | 1 | T1 | 1 | T4 | 4 | T5 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[None] | auto[OpDoneFail] | 43 | 1 | T4 | 2 | T6 | 3 | T12 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Aes] | auto[OpDoneSuccess] | 67 | 1 | T1 | 1 | T4 | 2 | T6 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Aes] | auto[OpDoneFail] | 31 | 1 | T4 | 2 | T14 | 1 | T24 | 3 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Kmac] | auto[OpDoneSuccess] | 56 | 1 | T4 | 1 | T5 | 1 | T6 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Kmac] | auto[OpDoneFail] | 28 | 1 | T4 | 1 | T6 | 2 | T8 | 1 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Otbn] | auto[OpDoneSuccess] | 82 | 1 | T1 | 1 | T4 | 2 | T5 | 3 | ||||
| auto[OpDpeGenHwOut] | auto[Sealing] | auto[Otbn] | auto[OpDoneFail] | 23 | 1 | T4 | 1 | T5 | 1 | T6 | 1 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |