From 8cf3422cd1f2b8e5747141e7e9e4d2703bc34896 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 28 Apr 2015 09:53:16 +0200
Subject: [PATCH] Timeouts should be shorter in new solver tests
---
.../scala/leon/test/verification/NewSolversRegression.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/verification/NewSolversRegression.scala b/src/test/scala/leon/test/verification/NewSolversRegression.scala
index 1498762ae..a85ff1629 100644
--- a/src/test/scala/leon/test/verification/NewSolversRegression.scala
+++ b/src/test/scala/leon/test/verification/NewSolversRegression.scala
@@ -38,7 +38,7 @@ class NewSolversRegression extends VerificationRegression {
else Nil
) ++ (
if (isCVC4Available)
- List(List("--solvers=smt-cvc4-proof", "--feelinglucky", "--timeout=5"))
+ List(List("--solvers=smt-cvc4-proof", "--feelinglucky", "--timeout=3"))
else Nil
)
}
--
GitLab