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