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