From a953439cb392316041d3d96d57c8bbb6a4f8655f Mon Sep 17 00:00:00 2001 From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch> Date: Mon, 19 Oct 2015 14:13:47 +0200 Subject: [PATCH] Even more time for repair benchmarks --- 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 9fd15b6d4..44659752f 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)(60L) + LeonOption(SharedOptions.optTimeout)(180L) ) ) -- GitLab