From 46cf4bc6d7da1443abee651c0e7c2cf4db0f424a Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 29 May 2015 11:39:37 +0200
Subject: [PATCH] Restore tests for new solvers
---
.../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 9322f2691..7329709b2 100644
--- a/src/test/scala/leon/test/verification/NewSolversRegression.scala
+++ b/src/test/scala/leon/test/verification/NewSolversRegression.scala
@@ -26,7 +26,7 @@ class NewSolversRegression extends VerificationRegression {
}
if (isCVC4Available)
- List(List("--solvers=smt-cvc4-cex,smt-cvc4-proof", "--timeout=15"))
+ List(List("--solvers=smt-cvc4-cex,smt-cvc4-proof", "--feelinglucky", "--timeout=3"))
else Nil
}
--
GitLab