From 054f9180c6aa0c63b17e829b8229a28cb57ed7fc Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 2 Jul 2015 14:01:32 +0200
Subject: [PATCH] Fix the fix
---
src/main/scala/leon/evaluators/RecursiveEvaluator.scala | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
index 1ee1aa528..9de0a2a05 100644
--- a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
+++ b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
@@ -47,12 +47,16 @@ abstract class RecursiveEvaluator(ctx: LeonContext, prog: Program, maxSteps: Int
def initRC(mappings: Map[Identifier, Expr]): RC
def initGC(): GC
+ // Used by leon-web, please do not delete
+ var lastGC: Option[GC] = None
+
private[this] var clpCache = Map[(Choose, Seq[Expr]), Expr]()
def eval(ex: Expr, mappings: Map[Identifier, Expr]) = {
try {
+ lastGC = Some(initGC())
ctx.timers.evaluators.recursive.runtime.start()
- EvaluationResults.Successful(e(ex)(initRC(mappings), initGC()))
+ EvaluationResults.Successful(e(ex)(initRC(mappings), lastGC.get))
} catch {
case so: StackOverflowError =>
EvaluationResults.EvaluatorError("Stack overflow")
--
GitLab