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