From f6f822bb82d5e0babd01a064f943c7cd21af9edc Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 2 Apr 2015 15:12:37 +0200
Subject: [PATCH] test runs the LeonAllTests suite, which is now ordered
---
build.sbt | 6 +--
src/test/scala/leon/test/LeonTests.scala | 61 ++++++++++++++++++++++++
2 files changed, 64 insertions(+), 3 deletions(-)
create mode 100644 src/test/scala/leon/test/LeonTests.scala
diff --git a/build.sbt b/build.sbt
index c84fcca11..6d9c9fb67 100644
--- a/build.sbt
+++ b/build.sbt
@@ -35,10 +35,10 @@ Keys.fork in Test := true
logBuffered in Test := false
-testOptions in Test += Tests.Argument("-oDF")
-
javaOptions in Test ++= Seq("-Xss32M", "-Xmx4G", "-XX:MaxPermSize=128M")
-parallelExecution in test := false
+parallelExecution in Test := false
+
+testOptions in Test := Seq(Tests.Filter(s => s.endsWith("LeonAllTests")), Tests.Argument("-oDF"))
sourcesInBase in Compile := false
diff --git a/src/test/scala/leon/test/LeonTests.scala b/src/test/scala/leon/test/LeonTests.scala
new file mode 100644
index 000000000..c7a880fba
--- /dev/null
+++ b/src/test/scala/leon/test/LeonTests.scala
@@ -0,0 +1,61 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
+package leon.test
+
+import org.scalatest.Suites
+import evaluators._
+import codegen._
+import frontends._
+import purescala._
+import solvers._
+import repair._
+import synthesis._
+import termination._
+import utils._
+import verification._
+
+class LeonAllTests extends Suites(
+ new LeonUnitTests,
+ new LeonFunTests
+)
+
+class LeonFunTests extends Suites(
+ new FrontEndsTest,
+
+ new RepairSuite,
+
+ new TerminationRegression,
+
+ new StablePrintingSuite,
+ new SynthesisSuite,
+ new SynthesisRegressionSuite,
+
+ new LibraryVerificationRegression,
+ new PureScalaVerificationRegression,
+ new XLangVerificationRegression
+)
+
+class LeonUnitTests extends Suites(
+ new CodeGenTests,
+
+ new ImportsTests,
+
+ new Streams,
+
+ new DefOpsTests,
+ new LikelyEqSuite,
+ new TransformationTests,
+ new TreeNormalizationsTests,
+ new TreeOpsTests,
+ new TreeTests,
+
+ new EnumerationSolverTests,
+ new TimeoutSolverTests,
+ new UnrollingSolverTests,
+
+ new AlgebraSuite,
+ new LinearEquationsSuite,
+
+ new DefaultEvaluatorTests,
+ new EvaluatorsTests
+)
--
GitLab