From 29a4582a974ce696ffd3fdb456b5af7b284f05de Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 29 Apr 2016 19:28:58 +0200
Subject: [PATCH] Increase timeout in tests
---
.../leon/regression/verification/XLangVerificationSuite.scala | 2 +-
.../verification/purescala/PureScalaVerificationSuite.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
index 839e45dba..180e6ff15 100644
--- a/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
@@ -18,7 +18,7 @@ class XLangVerificationSuite extends VerificationSuite {
if (isZ3Available)
List(List("--solvers=smt-z3", "--feelinglucky"))
else Nil
- )).map ("--timeout=150" :: _)
+ )).map ("--timeout=300" :: _)
}
val testDir: String = "regression/verification/xlang/"
diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index 263f31f0d..f2e709d7b 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=150")
+ .map( _ :+ "--timeout=300")
}
}
--
GitLab