public AphidFrame GetStackFrame01([PexAssumeUnderTest] AphidInterpreter target) { AphidFrame result = target.GetStackFrame(); return(result); // TODO: add assertions to method AphidInterpreterTest.GetStackFrame01(AphidInterpreter) }
public AphidFrame GetStackFrame([PexAssumeUnderTest] AphidInterpreter target, int offset) { AphidFrame result = target.GetStackFrame(offset); return(result); // TODO: add assertions to method AphidInterpreterTest.GetStackFrame(AphidInterpreter, Int32) }