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