From d37168e04468f317433af579d8ec0434cdada77b Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 3 May 2016 14:20:05 +0200
Subject: [PATCH] StackOverflow should be a RuntimeError in evaluators
---
src/main/scala/leon/evaluators/ContextualEvaluator.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/evaluators/ContextualEvaluator.scala b/src/main/scala/leon/evaluators/ContextualEvaluator.scala
index 90d1ac970..62aa713b5 100644
--- a/src/main/scala/leon/evaluators/ContextualEvaluator.scala
+++ b/src/main/scala/leon/evaluators/ContextualEvaluator.scala
@@ -35,10 +35,10 @@ abstract class ContextualEvaluator(ctx: LeonContext, prog: Program, val maxSteps
ctx.timers.evaluators.recursive.runtime.start()
EvaluationResults.Successful(e(ex)(initRC(model.toMap), lastGC.get))
} catch {
- case so: StackOverflowError =>
- EvaluationResults.EvaluatorError("Stack overflow")
case EvalError(msg) =>
EvaluationResults.EvaluatorError(msg)
+ case so: StackOverflowError =>
+ EvaluationResults.RuntimeError("Stack overflow")
case e @ RuntimeError(msg) =>
EvaluationResults.RuntimeError(msg)
case jre: java.lang.RuntimeException =>
--
GitLab