public void DisposeTest([PexAssumeUnderTest] global::Sonnenberg.ShellServer.Program target) { target.Dispose(); }
public global::Sonnenberg.ShellServer.Program ConstructorTest() { global::Sonnenberg.ShellServer.Program target = new global::Sonnenberg.ShellServer.Program(); return(target); }