public void StopShellServerTest( [PexAssumeUnderTest] Sonnenberg.ServerManager.Program target, ShellServer.Program server ) { target.StopShellServer(server); }
public Sonnenberg.ServerManager.Program ConstructorTest() { var target = new Sonnenberg.ServerManager.Program(); return(target); }