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