Make configurations inheritable

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

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)

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(

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),