diff --git a/src/test/scala/leon/regression/termination/TerminationSuite.scala b/src/test/scala/leon/regression/termination/TerminationSuite.scala
index c9ccd0dd183f0eeaea95391096987bc84a05181e..7096ad5dd5a2e2137a9f48aa9a98edd116bb1856 100644
--- a/src/test/scala/leon/regression/termination/TerminationSuite.scala
+++ b/src/test/scala/leon/regression/termination/TerminationSuite.scala
@@ -66,7 +66,7 @@ class TerminationSuite extends LeonRegressionSuite {
 
   private def forEachFileIn(files: Iterable[File], forError: Boolean = false)(block : Output=>Unit) {
     for(f <- files) {
-      mkTest(f, Seq(), forError)(block)
+      mkTest(f, Seq("--solvers=smt-z3"), forError)(block)
     }
   }