From 3bad9622b02cb3b0c4420d0a9254744a62458271 Mon Sep 17 00:00:00 2001 From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch> Date: Mon, 10 Nov 2014 18:34:10 +0100 Subject: [PATCH] Catch nested exception in CodeGenEvaluator --- src/main/scala/leon/evaluators/CodeGenEvaluator.scala | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala index 4805dcfcc..d75e0f08b 100644 --- a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala +++ b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala @@ -55,6 +55,10 @@ class CodeGenEvaluator(ctx : LeonContext, val unit : CompilationUnit) extends Ev case e : LeonCodeGenEvaluationException => EvaluationResults.EvaluatorError(e.getMessage) + + case e : java.lang.ExceptionInInitializerError => + EvaluationResults.RuntimeError(e.getException.getMessage) + } }) } catch { -- GitLab