diff --git a/src/test/scala/leon/test/verification/NewSolversRegression.scala b/src/test/scala/leon/test/verification/NewSolversRegression.scala index 929c7e1562b36b742f7f57af7fe4f0b671daf442..90c8631f4fb62d17a4d8024aaca4f34ad12a366b 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 }