Use ground solver in tests

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
 
   }