diff --git a/src/main/scala/leon/codegen/CompilationUnit.scala b/src/main/scala/leon/codegen/CompilationUnit.scala index 49fe6328f0cbc07f102f215f652c8e94aeb4ca52..c4551d5a455dcf5963bfb987025bbefe10d77e25 100644 --- a/src/main/scala/leon/codegen/CompilationUnit.scala +++ b/src/main/scala/leon/codegen/CompilationUnit.scala @@ -283,7 +283,7 @@ class CompilationUnit(val ctx: LeonContext, val l = classToLambda(cls.getName) val closures = purescala.ExprOps.variablesOf(l).toSeq.sortBy(_.uniqueName) val closureVals = closures.map { id => - val fieldVal = lambda.getClass.getField(id.name).get(lambda) + val fieldVal = lambda.getClass.getField(id.uniqueName).get(lambda) jvmToValue(fieldVal, id.getType) } diff --git a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala index 769748dff385e23686681eabfe4fe130f70e8832..4cc67c3fa143d7d3260aa68185b9139576f308f6 100644 --- a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala +++ b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala @@ -67,7 +67,6 @@ class CodeGenEvaluator(ctx: LeonContext, val unit : CompilationUnit) extends Eva } catch { case t: Throwable => ctx.reporter.warning(expression.getPos, "Error while compiling expression: "+t.getMessage) - t.printStackTrace() None } finally { ctx.timers.evaluators.codegen.compilation.stop() diff --git a/src/test/scala/leon/regression/repair/RepairSuite.scala b/src/test/scala/leon/regression/repair/RepairSuite.scala index c3aafa50ee12b7739bab2391677c8ff94d2c98f1..6e75e4729c11cf9c1b2402fcb4c337bb2838c318 100644 --- a/src/test/scala/leon/regression/repair/RepairSuite.scala +++ b/src/test/scala/leon/regression/repair/RepairSuite.scala @@ -26,8 +26,8 @@ class RepairSuite extends LeonRegressionSuite { val path = file.getAbsoluteFile.toString val name = file.getName - //val reporter = new TestSilentReporter - val reporter = new DefaultReporter(Set(utils.DebugSectionRepair)) + val reporter = new TestSilentReporter + //val reporter = new DefaultReporter(Set(utils.DebugSectionRepair)) val ctx = LeonContext( reporter = reporter,