Line 1_6: Type1_SetupDone:=((NOT(State_Type1=eState_Type1.ZERO_STATE)) AND (NOT(State_Type1=eState_Type1.SETUP_STATE)));
Operator
Mutant
Result
ROR
<>
KILLED
ROR
<>
KILLED
LCR
OR
KILLED
LCR
XOR
KILLED