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