From 7c4d4cf22ad334ba522b9b9b4f72f7cfd0940634 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 25 May 2015 17:15:45 +0200
Subject: [PATCH] Check unknown vcs before invalid
---
.../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 574379c96..b269f9e5b 100644
--- a/src/test/scala/leon/test/verification/VerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/VerificationRegression.scala
@@ -89,10 +89,11 @@ trait VerificationRegression extends LeonTestSuite {
forEachFileIn("invalid") { output =>
val Output(report, reporter) = output
- assert(report.totalInvalid > 0,
- "There should be at least one invalid verification condition.")
assert(report.totalUnknown === 0,
"There should not be unknown verification conditions.")
+ assert(report.totalInvalid > 0,
+ "There should be at least one invalid verification condition.")
+
}
super.run(testName, args)
--
GitLab