From b8b66898f48f3ddbf3982bf9545e745fd3d92344 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 17 Jun 2015 21:06:57 +0200
Subject: [PATCH] Use ground solver in 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 929c7e156..90c8631f4 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", "--feelinglucky", "--timeout=5"))
+      List(List("--solvers=smt-cvc4-cex,smt-cvc4-proof,ground", "--feelinglucky", "--timeout=5"))
     else Nil
 
   }
-- 
GitLab