diff --git a/src/it/scala/inox/TestSuite.scala b/src/it/scala/inox/TestSuite.scala
index a227ad00e49e6f5f641928a602d57f752a9f9bc3..58c65220e0ae803a06a88561fcb381ee11a7db26 100644
--- a/src/it/scala/inox/TestSuite.scala
+++ b/src/it/scala/inox/TestSuite.scala
@@ -9,7 +9,7 @@ import utils._
 
 trait TestSuite extends FunSuite with Matchers with Timeouts {
 
-  val configurations: Seq[Seq[OptionValue[_]]] = Seq(Seq.empty)
+  def configurations: Seq[Seq[OptionValue[_]]] = Seq(Seq.empty)
 
   private val counter = new UniqueCounter[Unit]
   counter.nextGlobal // Start at 1
diff --git a/src/it/scala/inox/solvers/SolvingTestSuite.scala b/src/it/scala/inox/solvers/SolvingTestSuite.scala
index 2fe9c90e3b2fcc46cb7fc6266fb2f70861210f35..b2271a488ae5f0ee79f4af10f67e432acabd92cf 100644
--- a/src/it/scala/inox/solvers/SolvingTestSuite.scala
+++ b/src/it/scala/inox/solvers/SolvingTestSuite.scala
@@ -5,7 +5,7 @@ package solvers
 
 trait SolvingTestSuite extends TestSuite {
 
-  override val configurations = for {
+  override def configurations = for {
     solverName        <- Seq("nativez3", "unrollz3", "smt-z3", "smt-cvc4")
     checkModels       <- Seq(false, true)
     feelingLucky      <- Seq(false, true)
diff --git a/src/it/scala/inox/solvers/unrolling/BagSuite.scala b/src/it/scala/inox/solvers/unrolling/BagSuite.scala
index 77db57dbbe0d7050437eb7ae132fe14467fb6854..af74660a58b5377d4ef26d4f3a9cf159ba3ad38b 100644
--- a/src/it/scala/inox/solvers/unrolling/BagSuite.scala
+++ b/src/it/scala/inox/solvers/unrolling/BagSuite.scala
@@ -8,7 +8,7 @@ class BagSuite extends SolvingTestSuite with DatastructureUtils {
   import trees._
   import dsl._
 
-  override val configurations = for {
+  override def configurations = for {
     solverName   <- Seq("nativez3", "unrollz3", "smt-z3", "smt-cvc4")
     feelingLucky <- Seq(false, true)
   } yield Seq(
diff --git a/src/it/scala/inox/solvers/unrolling/QuantifiersSuite.scala b/src/it/scala/inox/solvers/unrolling/QuantifiersSuite.scala
index b8f15db74140cc0888c2bb7f8e2077eedbd35b07..f3c2001229ce206535927665f102670f314f8351 100644
--- a/src/it/scala/inox/solvers/unrolling/QuantifiersSuite.scala
+++ b/src/it/scala/inox/solvers/unrolling/QuantifiersSuite.scala
@@ -8,7 +8,7 @@ class QuantifiersSuite extends TestSuite {
   import inox.trees._
   import dsl._
 
-  override val configurations = List(
+  override def configurations = List(
     ("nativez3", false, false, false),
     ("smt-z3",   false, false, false),
     ("smt-cvc4", false, false, false),