public bool CheckIsAlarmSilenced([PexAssumeUnderTest] PLCController target) { bool result = target.CheckIsAlarmSilenced(); return(result); // TODO: add assertions to method PLCControllerTest.CheckIsAlarmSilenced(PLCController) }
public bool CheckIsAlarmSilenced([PexAssumeUnderTest] PLCController target) { bool result = target.CheckIsAlarmSilenced(); return(result); // TODO: add assertions to method PLCControllerTest.CheckIsAlarmSilenced(PLCController) }