Line 1_32: IF ((State_Type1_Old=eState_Type1.AVAILABILITY_CHECK) AND (State_Type1=eState_Type1.AVAILABILITY_CHECK) AND (NOT LockCond) AND (((NOT AvailabilityChanged) AND (NOT DemandAvailability)) OR (CommandIn=CMD_BASIC) OR (CommandIn=CMD_ABORTED))) THEN
| Operator |
Mutant |
Result |
| LCR |
OR |
KILLED |
| LCR |
XOR |
KILLED |
| LCR |
OR |
KILLED |
| LCR |
XOR |
KILLED |
| LCR |
OR |
KILLED |
| LCR |
XOR |
KILLED |
| LCR |
OR |
KILLED |
| LCR |
XOR |
KILLED |
| LCR |
AND |
KILLED |
| LCR |
XOR |
LIVE |
| LCR |
AND |
KILLED |
| LCR |
XOR |
LIVE |
| ROR |
<> |
KILLED |
| ROR |
<> |
KILLED |
| ROR |
<> |
KILLED |
| ROR |
<> |
KILLED |