From 8347ba3c205672017b0b04be6f6b3d4447767703 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 23 Mar 2015 17:49:24 +0100
Subject: [PATCH] We should create one reporter per test
---
.../scala/leon/test/verification/VerificationRegression.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/verification/VerificationRegression.scala b/src/test/scala/leon/test/verification/VerificationRegression.scala
index 398d4e2f0..fdef26091 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))
}
--
GitLab