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