diff --git a/src/test/scala/leon/test/verification/VerificationRegression.scala b/src/test/scala/leon/test/verification/VerificationRegression.scala
index 398d4e2f0e1ea67081a0d49242b44ddbe9fe8b59..fdef260910bf65dea6cd1675c35f5b66923d8a6d 100644
--- a/src/test/scala/leon/test/verification/VerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/VerificationRegression.scala
@@ -37,13 +37,13 @@ trait VerificationRegression extends LeonTestSuite {
       PreprocessingPhase andThen
       pipeFront
 
-    val ctx = createLeonContext(leonOptions:_*)
     val ast = extraction.run(createLeonContext((files ++ leonOptions):_*))(files)
     val programs = {
       val (user, lib) = ast.units partition { _.isMainUnit }
       user map { u => Program(u.id.freshen, u :: lib) }
     }
     for (p <- programs; displayName = p.id.name) test(f"${nextInt()}%3d: $displayName ${leonOptions.mkString(" ")}") {
+      val ctx = createLeonContext(leonOptions:_*)
       val report = pipeBack.run(ctx)(p)
       block(Output(report, ctx.reporter))
     }