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