tests display more information on failure

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))
 

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)

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 _ =>
+  }
+}