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