Display more information in case of a verification failure

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 {

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)
       }
     }
   }