From 0cad3d1c720a77b5fd0e6fa595578e7c98087769 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 13 Feb 2015 16:05:50 +0100
Subject: [PATCH] Use silent Reporter
---
src/test/scala/leon/test/repair/RepairSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/repair/RepairSuite.scala b/src/test/scala/leon/test/repair/RepairSuite.scala
index a68249dcf..e4a2d03f3 100644
--- a/src/test/scala/leon/test/repair/RepairSuite.scala
+++ b/src/test/scala/leon/test/repair/RepairSuite.scala
@@ -12,7 +12,7 @@ class RepairSuite extends LeonTestSuite {
RepairPhase
val settings = Settings(verify = false, repair = true)
- val reporter = new DefaultReporter(settings)
+ val reporter = new TestSilentReporter
val ctx0 = LeonContext(
reporter,
new InterruptManager(reporter)
--
GitLab