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