Line 1_22: IF ((CommandIn=CMD_BASIC) AND (State_Type1=eState_Type1.LOCK_STATE) AND (NOT LockCond)) THEN
Operator
Mutant
Result
LCR
OR
KILLED
LCR
XOR
KILLED
LCR
OR
KILLED
LCR
XOR
KILLED
ROR
<>
KILLED
ROR
<>
KILLED
UOI
IF NOT (((CommandIn=CMD_BASIC) AND (State_Type1=eState_Type1.LOCK_STATE) AND (NOT LockCond))) THEN
KILLED