From 1346ea1fafee7c35e04958d23fc4f6cf75039fea Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 22 Apr 2015 16:59:01 +0200
Subject: [PATCH] Fix options in NewSolvers Regression
---
.../scala/leon/test/verification/NewSolversRegression.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/test/verification/NewSolversRegression.scala b/src/test/scala/leon/test/verification/NewSolversRegression.scala
index 558621bb2..1498762ae 100644
--- a/src/test/scala/leon/test/verification/NewSolversRegression.scala
+++ b/src/test/scala/leon/test/verification/NewSolversRegression.scala
@@ -34,11 +34,11 @@ class NewSolversRegression extends VerificationRegression {
(
if (isZ3Available)
- List(List("--solvers=smt-z3-quantified", "--feelinglucky", "--timeout=3"))
+ List(List("--solvers=smt-z3-q", "--feelinglucky", "--timeout=3"))
else Nil
) ++ (
if (isCVC4Available)
- List(List("--solvers=smt-2.5-cvc4", "--feelinglucky"))
+ List(List("--solvers=smt-cvc4-proof", "--feelinglucky", "--timeout=5"))
else Nil
)
}
--
GitLab