public bool LeaveScope([PexAssumeUnderTest] AphidInterpreter target, bool bubbleReturnValue)
{
bool result = target.LeaveScope(bubbleReturnValue);
return(result);
// TODO: add assertions to method AphidInterpreterTest.LeaveScope(AphidInterpreter, Boolean)
}
private static object Eval(AphidInterpreter interpreter, string code)
{
interpreter.EnterScope();
try
{
interpreter.Interpret(code);
return(interpreter.GetReturnValue());
}
finally
{
interpreter.LeaveScope();
}
}