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