From 618ccda9a0299f0a0bc8cf64dc4bb756a1ee3b46 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 1 Apr 2015 19:37:33 +0200
Subject: [PATCH] Fresh reporter to avoid terminateIfErrors issues
---
src/main/scala/leon/Main.scala | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 95ff9c045..edc7afedf 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -289,7 +289,9 @@ object Main {
}
}
- def execute(args: Seq[String], ctx: LeonContext): Unit = {
+ def execute(args: Seq[String], ctx0: LeonContext): Unit = {
+ val ctx = ctx0.copy(reporter = new DefaultReporter(ctx0.settings))
+
try {
// Compute leon pipeline
val pipeline = computePipeline(ctx.settings)
--
GitLab