Ejemplo n.º 1
0
        public bool CheckAdditiveValvesAreOpen([PexAssumeUnderTest] PLCController target)
        {
            bool result = target.CheckAdditiveValvesAreOpen();

            return(result);
            // TODO: add assertions to method PLCControllerTest.CheckAdditiveValvesAreOpen(PLCController)
        }