Updated tests for new options

src/it/scala/inox/InoxTestSuite.scala

@@ -12,7 +12,7 @@ trait InoxTestSuite extends FunSuite with Matchers with Timeouts {
   val configurations: Seq[Seq[OptionValue[_]]] = Seq(Seq.empty)
 
   private def optionsString(options: Options): String = {
-    "solver=" + options.findOptionOrDefault(InoxOptions.optSelectedSolvers).head + " " +
+    "solver=" + options.findOptionOrDefault(optSelectedSolvers).head + " " +
     "feelinglucky=" + options.findOptionOrDefault(solvers.unrolling.optFeelingLucky) + " " +
     "checkmodels=" + options.findOptionOrDefault(solvers.optCheckModels) + " " +
     "unrollassumptions=" + options.findOptionOrDefault(solvers.unrolling.optUnrollAssumptions)

src/it/scala/inox/solvers/SolvingTestSuite.scala

@@ -11,11 +11,11 @@ trait SolvingTestSuite extends InoxTestSuite {
     feelingLucky      <- Seq(false, true)
     unrollAssumptions <- Seq(false, true)
   } yield Seq(
-    InoxOptions.optSelectedSolvers(Set(solverName)),
+    optSelectedSolvers(Set(solverName)),
     optCheckModels(checkModels),
     unrolling.optFeelingLucky(feelingLucky),
     unrolling.optUnrollAssumptions(unrollAssumptions),
-    InoxOptions.optTimeout(300),
+    optTimeout(300),
     ast.optPrintUniqueIds(true)
   )
 }

src/it/scala/inox/solvers/unrolling/AssociativeQuantifiersSuite.scala

@@ -16,11 +16,11 @@ class AssociativeQuantifiersSuite extends InoxTestSuite {
     ("nativez3", false, false, true ),
     ("smt-cvc4", false, false, true )
   ).map { case (solverName, checkModels, feelingLucky, unrollAssumptions) => Seq(
-    InoxOptions.optSelectedSolvers(Set(solverName)),
+    optSelectedSolvers(Set(solverName)),
     optCheckModels(checkModels),
     optFeelingLucky(feelingLucky),
     optUnrollAssumptions(unrollAssumptions),
-    InoxOptions.optTimeout(300),
+    optTimeout(300),
     ast.optPrintUniqueIds(true)
   )}