From eb11d8740f7ea4bf04549ca19374dfc715659a9d Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 12 Apr 2016 16:37:47 +0200
Subject: [PATCH] Increase timeout
---
.../verification/purescala/PureScalaVerificationSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index a33c85d7c..22aa18098 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -23,7 +23,7 @@ abstract class PureScalaVerificationSuite extends VerificationSuite {
List("--solvers=fairz3,enum", "--codegen", /*"--evalground",*/ "--feelinglucky")) ++
isZ3Available.option(List("--solvers=smt-z3", "--feelinglucky")) ++
isCVC4Available.option(List("--solvers=smt-cvc4", "--feelinglucky"))
- .map( _ :+ "--timeout=60")
+ .map( _ :+ "--timeout=120")
}
}
--
GitLab