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