diff --git a/src/test/scala/leon/test/verification/VerificationRegression.scala b/src/test/scala/leon/test/verification/VerificationRegression.scala
index 574379c96e7e0e8061ffdf462c8a91a82fac4904..b269f9e5b15d1b0669c30c9109aa77b34c5f87bb 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)