C# (CSharp) AphidInterpreter.PopFrame Beispiele

Beispiel #1

 public void PopFrame([PexAssumeUnderTest] AphidInterpreter target)
 {
     target.PopFrame();
     // TODO: add assertions to method AphidInterpreterTest.PopFrame(AphidInterpreter)
 }