diff --git a/src/test/scala/leon/test/LeonTestSuite.scala b/src/test/scala/leon/test/LeonTestSuite.scala
index 0da9e68bba08fb1d8ca7b4a41195384e0118fd26..fec6f08f9056fa59fde72acf9541d6afcce922b1 100644
--- a/src/test/scala/leon/test/LeonTestSuite.scala
+++ b/src/test/scala/leon/test/LeonTestSuite.scala
@@ -112,7 +112,7 @@ trait LeonTestSuite extends FunSuite with Timeouts with BeforeAndAfterEach {
           case fe: LeonFatalError =>
           testContext.reporter match {
             case sr: TestSilentReporter =>
-              throw new TestFailedException(sr.lastError.getOrElse("Some error"), fe, 5)
+              throw new TestFailedException(sr.lastErrors.mkString("\n"), fe, 5)
           }
         }
       }
diff --git a/src/test/scala/leon/test/TestSilentReporter.scala b/src/test/scala/leon/test/TestSilentReporter.scala
index de20f108569e565c3d5a6f055821433b1994c3b0..7f2fb45aec47598d19979b6bae9eac0d1e705187 100644
--- a/src/test/scala/leon/test/TestSilentReporter.scala
+++ b/src/test/scala/leon/test/TestSilentReporter.scala
@@ -4,10 +4,11 @@ package leon
 package test
 
 class TestSilentReporter extends DefaultReporter(Settings()) {
-  var lastError: Option[String] = None
+  var lastErrors: List[String] = Nil
 
   override def emit(msg: Message): Unit = msg match { 
-    case Message(this.ERROR, _, msg) => lastError = Some(msg.toString)
+    case Message(this.ERROR, _, msg) => lastErrors ++= List(msg.toString)
+    case Message(this.FATAL, _, msg) => lastErrors ++= List(msg.toString)
     case _ =>
   }
 }