From 08f4f6ba6b5811a5bc11dca39670581770b2d5e5 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 26 May 2015 16:00:35 +0200
Subject: [PATCH] Failed compilation during tests should spawn failing test
---
.../leon/test/verification/VerificationRegression.scala | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/test/verification/VerificationRegression.scala b/src/test/scala/leon/test/verification/VerificationRegression.scala
index b269f9e5b..9a84322f7 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 = {
--
GitLab