From b8491c858f2dfab9bfc501294e4ab8ce4d1a7c07 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 21 Apr 2016 14:31:53 +0200
Subject: [PATCH] Timeouts to all of PurescalaVerificationSuite
---
.../verification/purescala/PureScalaVerificationSuite.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index d2a1215f9..95777486d 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -17,12 +17,12 @@ abstract class PureScalaVerificationSuite extends VerificationSuite {
val isCVC4Available = SolverFactory.hasCVC4
val opts: List[List[String]] = {
- List(
+ (List(
List("--feelinglucky"),
List("--codegen", /*"--evalground",*/ "--feelinglucky"),
List("--solvers=fairz3,enum", "--codegen", /*"--evalground",*/ "--feelinglucky")) ++
isZ3Available.option(List("--solvers=smt-z3", "--feelinglucky")) ++
- isCVC4Available.option(List("--solvers=smt-cvc4", "--feelinglucky"))
+ isCVC4Available.option(List("--solvers=smt-cvc4", "--feelinglucky")))
.map( _ :+ "--timeout=120")
}
--
GitLab