From 2163b315cbf51a5dbb7e02b6887d5ddb3aa4431d Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 9 Oct 2015 17:09:12 +0200
Subject: [PATCH] Let's give more time to repair tests
running test suites in parallel is usually slowing down expensive tests
such as repair.
---
src/test/scala/leon/regression/repair/RepairSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/regression/repair/RepairSuite.scala b/src/test/scala/leon/regression/repair/RepairSuite.scala
index 4b1e555f4..9fd15b6d4 100644
--- a/src/test/scala/leon/regression/repair/RepairSuite.scala
+++ b/src/test/scala/leon/regression/repair/RepairSuite.scala
@@ -34,7 +34,7 @@ class RepairSuite extends LeonRegressionSuite {
interruptManager = new InterruptManager(reporter),
options = Seq(
LeonOption(SharedOptions.optFunctions)(Seq(fileToFun(name))),
- LeonOption(SharedOptions.optTimeout)(20L)
+ LeonOption(SharedOptions.optTimeout)(60L)
)
)
--
GitLab