From a3c764c60f08ca89059e0516dcb1372f893ed62c Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 16 Apr 2015 17:59:47 +0200
Subject: [PATCH] Restore new solver tests
---
.../test/verification/NewSolversRegression.scala | 14 ++++++++------
1 file changed, 8 insertions(+), 6 deletions(-)
diff --git a/src/test/scala/leon/test/verification/NewSolversRegression.scala b/src/test/scala/leon/test/verification/NewSolversRegression.scala
index 236e597d6..2a287efd2 100644
--- a/src/test/scala/leon/test/verification/NewSolversRegression.scala
+++ b/src/test/scala/leon/test/verification/NewSolversRegression.scala
@@ -8,6 +8,8 @@ import leon.verification.AnalysisPhase
// If you add another regression test, make sure it contains one object whose name matches the file name
// This is because we compile all tests from each folder separately.
+
+// This class is currently NOT in LeonAllTests
class NewSolversRegression extends VerificationRegression {
val testDir = "regression/verification/newsolvers/"
@@ -30,15 +32,15 @@ class NewSolversRegression extends VerificationRegression {
false
}
- //(
- // if (isZ3Available)
- //List(List("--solvers=smt-z3-quantified", "--feelinglucky", "--timeout=3"))
- //else Nil
- //) ++ (
+ (
+ if (isZ3Available)
+ List(List("--solvers=smt-z3-quantified", "--feelinglucky", "--timeout=3"))
+ else Nil
+ ) ++ (
if (isCVC4Available)
List(List("--solvers=smt-2.5-cvc4", "--feelinglucky"))
else Nil
- //)
+ )
}
test()
--
GitLab