public void SoundAlarm([PexAssumeUnderTest] PLCController target) { target.SoundAlarm(); // TODO: add assertions to method PLCControllerTest.SoundAlarm(PLCController) }