diff --git a/src/test/scala/leon/test/verification/VerificationRegression.scala b/src/test/scala/leon/test/verification/VerificationRegression.scala
index b269f9e5b15d1b0669c30c9109aa77b34c5f87bb..9a84322f7031320fb8e70d3fb457a184ebc6a07f 100644
--- a/src/test/scala/leon/test/verification/VerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/VerificationRegression.scala
@@ -30,7 +30,7 @@ trait VerificationRegression extends LeonTestSuite {
   val pipeFront: Pipeline[Program, Program]
   val pipeBack : Pipeline[Program, VerificationReport]
 
-  private def mkTest(files: List[String])(block: Output=>Unit) = {
+  private def mkTest(files: List[String], cat: String)(block: Output=>Unit) = {
     val extraction =
       ExtractionPhase andThen
       PreprocessingPhase andThen
@@ -61,6 +61,7 @@ trait VerificationRegression extends LeonTestSuite {
             }
           case _ =>
         }
+        test("Compilation of test files in " + testDir + cat)(fail("Failed to compile"))
     }
   }
 
@@ -74,7 +75,7 @@ trait VerificationRegression extends LeonTestSuite {
 
     val files = fs map { _.getPath }
 
-    mkTest(files)(block)
+    mkTest(files, cat)(block)
   }
 
   override def run(testName: Option[String], args: Args): Status = {