public void StopShellServerTest([PexAssumeUnderTest] Sonnenberg.ServiceManager.Program target) { target.StopShellServer(); }
public void StartShellServerTest([PexAssumeUnderTest] Sonnenberg.ServiceManager.Program target, string[] args) { target.StartShellServer(); }