From d773400bbbbf0589c8902614d73f39e6bfdccc36 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Tue, 9 Feb 2016 15:03:18 +0100
Subject: [PATCH] tests display more information on failure
---
src/main/scala/leon/xlang/AntiAliasingPhase.scala | 1 -
.../leon/regression/verification/VerificationSuite.scala | 2 +-
src/test/scala/leon/test/TestSilentReporter.scala | 7 +++++++
3 files changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/xlang/AntiAliasingPhase.scala b/src/main/scala/leon/xlang/AntiAliasingPhase.scala
index 27d6d3154..e79585002 100644
--- a/src/main/scala/leon/xlang/AntiAliasingPhase.scala
+++ b/src/main/scala/leon/xlang/AntiAliasingPhase.scala
@@ -19,7 +19,6 @@ object AntiAliasingPhase extends TransformationPhase {
val description = "Make aliasing explicit"
override def apply(ctx: LeonContext, pgm: Program): Program = {
-
val fds = allFunDefs(pgm)
fds.foreach(fd => checkAliasing(fd)(ctx))
diff --git a/src/test/scala/leon/regression/verification/VerificationSuite.scala b/src/test/scala/leon/regression/verification/VerificationSuite.scala
index f2ae97880..446d06675 100644
--- a/src/test/scala/leon/regression/verification/VerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/VerificationSuite.scala
@@ -41,7 +41,7 @@ trait VerificationSuite extends LeonRegressionSuite {
VerificationPhase andThen
(if (desugarXLang) FixReportLabels else NoopPhase[VerificationReport])
- val ctx = createLeonContext(files:_*)
+ val ctx = createLeonContext(files:_*).copy(reporter = new TestErrorReporter)
try {
val (_, ast) = extraction.run(ctx, files)
diff --git a/src/test/scala/leon/test/TestSilentReporter.scala b/src/test/scala/leon/test/TestSilentReporter.scala
index 2cf9ea4f7..2a8761584 100644
--- a/src/test/scala/leon/test/TestSilentReporter.scala
+++ b/src/test/scala/leon/test/TestSilentReporter.scala
@@ -13,3 +13,10 @@ class TestSilentReporter extends DefaultReporter(Set()) {
case _ =>
}
}
+
+class TestErrorReporter extends DefaultReporter(Set()) {
+ override def emit(msg: Message): Unit = msg match {
+ case Message(this.ERROR | this.FATAL, _, _) => super.emit(msg)
+ case _ =>
+ }
+}
--
GitLab