diff --git a/src/test/scala/leon/integration/solvers/InputCoverageSuite.scala b/src/test/scala/leon/integration/solvers/InputCoverageSuite.scala
index 57c7e20a804562c3a6771cc6c835f18aff28102a..b08dd2cf8f845aa9b68cbe2114a62f588e7c6fec 100644
--- a/src/test/scala/leon/integration/solvers/InputCoverageSuite.scala
+++ b/src/test/scala/leon/integration/solvers/InputCoverageSuite.scala
@@ -53,6 +53,8 @@ class InputCoverageSuite extends LeonTestSuiteWithProgram with Matchers with Sca
   //override a because it comes from both Matchers and ExpressionsDSLVariables
   override val a = null
 
+  override val leonOpts = List("--solvers=smt-cvc4")
+
   val sources = List("""
     |import leon.lang._
     |import leon.collection._