From 2134ee16b0e7c1f98b01257dcff124a5591f4af2 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Thu, 18 Sep 2014 12:06:45 +0200
Subject: [PATCH] Mute reporters, preventing spurious output while testing
---
src/test/scala/leon/test/frontends/FrontEndsTest.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/test/frontends/FrontEndsTest.scala b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
index 9d091e0ea..ce18f5655 100644
--- a/src/test/scala/leon/test/frontends/FrontEndsTest.scala
+++ b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
@@ -48,13 +48,13 @@ class FrontEndsTest extends leon.test.LeonTestSuite {
)
val ctx1 = testContext.copy(
// We want a reporter that actually prints some output
- reporter = new DefaultReporter(settings),
+ //reporter = new DefaultReporter(settings),
settings = settings,
options = testContext.options :+ LeonValueOption("o", outFileName1) //:+ LeonFlagOption("library", true)
)
val ctx2 = ctx1.copy(
- reporter = new DefaultReporter(settings),
+ //reporter = new DefaultReporter(settings),
settings = settings,
options = testContext.options :+ LeonValueOption("o", outFileName2 ) //:+ LeonFlagOption("library", true)
)
--
GitLab