Skip to content
Snippets Groups Projects
Commit d37168e0 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

StackOverflow should be a RuntimeError in evaluators

parent 639412e3
No related branches found
No related tags found
No related merge requests found
......@@ -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 =>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment