diff --git a/src/test/scala/leon/test/verification/VerificationRegression.scala b/src/test/scala/leon/test/verification/VerificationRegression.scala
index 9a84322f7031320fb8e70d3fb457a184ebc6a07f..5b559d5b54d2ea9e976982587deca6d2f22787d1 100644
--- a/src/test/scala/leon/test/verification/VerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/VerificationRegression.scala
@@ -81,9 +81,11 @@ trait VerificationRegression extends LeonTestSuite {
   override def run(testName: Option[String], args: Args): Status = {
     forEachFileIn("valid") { output =>
       val Output(report, reporter) = output
-      for ((vc, vr) <- report.vrs if (!vr.isValid)) {
-        val status = if (vr.isInvalid) "invalid" else "inconclusive"
-        fail(s"The following verification condition was $status: $vc @${vc.getPos}")
+      for ((vc, vr) <- report.vrs if (vr.isInvalid)) {
+        fail(s"The following verification condition was invalid: $vc @${vc.getPos}")
+      }
+      for ((vc, vr) <- report.vrs if (vr.isInconclusive)) {
+        fail(s"The following verification condition was inconclusive: $vc @${vc.getPos}")
       }
       reporter.terminateIfError()
     }