diff --git a/src/test/scala/leon/regression/verification/VerificationSuite.scala b/src/test/scala/leon/regression/verification/VerificationSuite.scala
index 2460d7791394e727d0d368a18f0482ddcf16bd44..48fdd416931ffefefed6c3ee1447320a1e185f48 100644
--- a/src/test/scala/leon/regression/verification/VerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/VerificationSuite.scala
@@ -61,8 +61,13 @@ trait VerificationSuite extends LeonRegressionSuite {
 
         ts(f"$index%3d: $displayName ${options.mkString(" ")}", Seq()) {
           val ctx = createLeonContext(options: _*)
-          val (ctx2, report) = analysis.run(ctx, p)
-          block(Output(report, ctx2.reporter))
+          try {
+            val (ctx2, report) = analysis.run(ctx, p)
+            block(Output(report, ctx2.reporter))
+          } catch {
+            case fe: LeonFatalError =>
+              fail(ctx, "Verification failed", fe)
+          }
         }
       }
     } catch {
diff --git a/src/test/scala/leon/test/LeonRegressionSuite.scala b/src/test/scala/leon/test/LeonRegressionSuite.scala
index 941cb9b90e6587a219ad33a4d40366d948af9260..58fdce2c6b789ddae0bbaee845f54ad6fe09de2c 100644
--- a/src/test/scala/leon/test/LeonRegressionSuite.scala
+++ b/src/test/scala/leon/test/LeonRegressionSuite.scala
@@ -33,7 +33,7 @@ trait LeonRegressionSuite extends FunSuite with Timeouts {
         body
       } catch {
         case fe: LeonFatalError =>
-          throw new TestFailedException("", fe, 5)
+          throw new TestFailedException("Uncaught LeonFatalError", fe, 5)
       }
     }
   }