From 84ad2a2be17ac0afe91a8ec031023b6c5731b739 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Wed, 21 Jan 2015 17:18:50 +0100
Subject: [PATCH] CodeGenEvaluator catches underlying StackOverflowError
---
src/main/scala/leon/evaluators/CodeGenEvaluator.scala | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
index d75e0f08b..e13a0d216 100644
--- a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
+++ b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
@@ -58,6 +58,9 @@ class CodeGenEvaluator(ctx : LeonContext, val unit : CompilationUnit) extends Ev
case e : java.lang.ExceptionInInitializerError =>
EvaluationResults.RuntimeError(e.getException.getMessage)
+
+ case so : java.lang.StackOverflowError =>
+ EvaluationResults.RuntimeError("Stack overflow")
}
})
--
GitLab