From f815b887600c0d1cae494e3b3613e2b368a306bc Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 12 May 2016 12:39:31 +0200
Subject: [PATCH] Make each repair test only fail itself
---
.../scala/leon/regression/repair/RepairSuite.scala | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/src/test/scala/leon/regression/repair/RepairSuite.scala b/src/test/scala/leon/regression/repair/RepairSuite.scala
index 254c6a2f5..3724b0170 100644
--- a/src/test/scala/leon/regression/repair/RepairSuite.scala
+++ b/src/test/scala/leon/regression/repair/RepairSuite.scala
@@ -23,15 +23,17 @@ class RepairSuite extends LeonRegressionSuite {
)
for (file <- filesInResourceDir("regression/repair/", _.endsWith(".scala"))) {
- if (!(fileToFun contains file.getName)) {
- fail(s"Don't know which function to repair for ${file.getName}")
- }
+
val path = file.getAbsoluteFile.toString
val name = file.getName
- val ctx = createLeonContext("--parallel", "--timeout=180", "--solvers=smt-z3")
-
test(name) {
+ if (!(fileToFun contains file.getName)) {
+ fail(s"Don't know which function to repair for ${file.getName}")
+ }
+
+ val ctx = createLeonContext("--parallel", "--timeout=180", "--solvers=smt-z3", s"--functions=${fileToFun(name)}")
+
pipeline.run(ctx, List(path))
if(ctx.reporter.errorCount > 0) {
fail("Errors during repair:\n"+ctx.reporter.asInstanceOf[TestSilentReporter].lastErrors.mkString("\n"))
--
GitLab