Beispiel #1
0
 public void RegisterIpcServer([PexAssumeUnderTest] AphidInterpreter target)
 {
     target.RegisterIpcServer();
     // TODO: add assertions to method AphidInterpreterTest.RegisterIpcServer(AphidInterpreter)
 }