From 20e8c86acb32c56b5c648919cf141cec3f09f3d3 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Sat, 22 Aug 2015 00:08:52 +0200
Subject: [PATCH] Refactor tests, again.

unit, integration, and regression tests can now share code as they are
compiled together.

Unit tests are now in package leon.unit and shared code lives in
leon.test.
---
 build.sbt                                     | 45 ++++--------
 .../leon/integration/TestSilentReporter.scala | 15 ----
 .../integration/helpers/ExpressionsDSL.scala  | 72 -------------------
 .../integration/helpers/WithLikelyEq.scala    | 65 -----------------
 .../leon/regression/TestSilentReporter.scala  | 15 ----
 .../frontends/error/simple/Asserts.scala      |  0
 .../error/simple/ConvertBigInt.scala          |  0
 .../frontends/error/simple/InstanceOf1.scala  |  0
 .../error/simple/LiteralBigInt.scala          |  0
 .../frontends/error/simple/NotEquals.scala    |  0
 .../frontends/error/xlang/Array1.scala        |  0
 .../frontends/error/xlang/Array10.scala       |  0
 .../frontends/error/xlang/Array2.scala        |  0
 .../frontends/error/xlang/Array3.scala        |  0
 .../frontends/error/xlang/Array4.scala        |  0
 .../frontends/error/xlang/Array5.scala        |  0
 .../frontends/error/xlang/Array6.scala        |  0
 .../frontends/error/xlang/Array7.scala        |  0
 .../frontends/error/xlang/Array8.scala        |  0
 .../frontends/error/xlang/Array9.scala        |  0
 .../frontends/passing/ClassFields.scala       |  0
 .../regression/frontends/passing/Fields.scala |  0
 .../frontends/passing/ImplicitDefs.scala      |  0
 .../frontends/passing/ImplicitDefs2.scala     |  0
 .../frontends/passing/Operators.scala         |  0
 .../frontends/passing/OptParams.scala         |  0
 .../frontends/passing/Overrides.scala         |  0
 .../frontends/passing/bigintExtr.scala        |  0
 .../regression/performance/cegis/Add.scala    |  0
 .../performance/cegis/Distinct.scala          |  0
 .../regression/performance/cegis/Hole1.scala  |  0
 .../regression/performance/cegis/Length.scala |  0
 .../regression/performance/cegis/Mult.scala   |  0
 .../performance/cegis/Squared.scala           |  0
 .../regression/repair/Compiler1.scala         |  0
 .../resources/regression/repair/Heap4.scala   |  0
 .../resources/regression/repair/List1.scala   |  0
 .../regression/repair/ListEasy.scala          |  0
 .../regression/repair/MergeSort2.scala        |  0
 .../regression/synthesis/Church/Add.scala     |  0
 .../synthesis/Church/Distinct.scala           |  0
 .../regression/synthesis/Church/Mult.scala    |  0
 .../regression/synthesis/Church/Squared.scala |  0
 .../synthesis/Examples/Length.scala           |  0
 .../regression/synthesis/Holes/Hole1.scala    |  0
 .../regression/synthesis/List/Delete.scala    |  0
 .../regression/synthesis/List/Diff.scala      |  0
 .../regression/synthesis/List/Insert.scala    |  0
 .../regression/synthesis/List/Split1.scala    |  0
 .../regression/synthesis/List/Split2.scala    |  0
 .../regression/synthesis/List/Split3.scala    |  0
 .../regression/synthesis/List/Union.scala     |  0
 .../regression/synthesis/Misc/HolesBug.scala  |  0
 .../regression/synthesis/Misc/Unapply.scala   |  0
 .../synthesis/SortedList/Delete.scala         |  0
 .../synthesis/SortedList/Diff.scala           |  0
 .../synthesis/SortedList/Insert1.scala        |  0
 .../synthesis/SortedList/Insert2.scala        |  0
 .../synthesis/SortedList/InsertSort.scala     |  0
 .../synthesis/SortedList/Union.scala          |  0
 .../synthesis/StrictSortedList/Delete.scala   |  0
 .../synthesis/StrictSortedList/Insert.scala   |  0
 .../synthesis/StrictSortedList/Union.scala    |  0
 .../termination/looping/LambdaCalculus.scala  |  0
 .../termination/looping/Numeric1.scala        |  0
 .../termination/looping/Numeric2.scala        |  0
 .../termination/looping/Numeric3.scala        |  0
 .../termination/looping/OddEven.scala         |  0
 .../termination/looping/Queue.scala           |  0
 .../looping/Termination_failling1.scala       |  0
 .../looping/UniversalEquality.scala           |  0
 .../termination/looping/WrongFibonacci.scala  |  0
 .../termination/valid/BinaryTreeImp.scala     |  0
 .../termination/valid/CountTowardsZero.scala  |  0
 .../termination/valid/Fibonacci.scala         |  0
 .../termination/valid/HOTermination.scala     |  0
 .../termination/valid/ListWithSize.scala      |  0
 .../termination/valid/Numeric1.scala          |  0
 .../regression/termination/valid/Queue.scala  |  0
 .../termination/valid/QuickSort.scala         |  0
 .../termination/valid/RedBlackTree.scala      |  0
 .../termination/valid/SimpInterpret.scala     |  0
 .../valid/Termination_passing1.scala          |  0
 .../resources/regression/testcases            |  0
 .../transformations/SimplifyLets.scala        |  0
 .../transformations/SimplifyPaths.scala       |  0
 .../verification/newsolvers/invalid/Acc.scala |  0
 .../invalid/AddingNegativeNumbers.scala       |  0
 .../invalid/AddingPositiveNumbers.scala       |  0
 .../newsolvers/invalid/Array1.scala           |  0
 .../newsolvers/invalid/Array2.scala           |  0
 .../newsolvers/invalid/Array3.scala           |  0
 .../newsolvers/invalid/Array4.scala           |  0
 .../newsolvers/invalid/Asserts1.scala         |  0
 .../newsolvers/invalid/BVDivision.scala       |  0
 .../newsolvers/invalid/BVDivision2.scala      |  0
 .../newsolvers/invalid/BigArray.scala         |  0
 .../newsolvers/invalid/Division.scala         |  0
 .../newsolvers/invalid/EnsuringBoolean.scala  |  0
 .../newsolvers/invalid/FiniteSort.scala       |  0
 .../newsolvers/invalid/Generics.scala         |  0
 .../newsolvers/invalid/Generics2.scala        |  0
 .../newsolvers/invalid/InsertionSort.scala    |  0
 .../newsolvers/invalid/ListOperations.scala   |  0
 .../newsolvers/invalid/MyTuple1.scala         |  0
 .../newsolvers/invalid/MyTuple2.scala         |  0
 .../newsolvers/invalid/MyTuple3.scala         |  0
 .../newsolvers/invalid/PositiveMap.scala      |  0
 .../invalid/PropositionalLogic.scala          |  0
 .../verification/newsolvers/invalid/README    |  0
 .../newsolvers/invalid/RedBlackTree.scala     |  0
 .../newsolvers/invalid/Unit1.scala            |  0
 .../verification/newsolvers/valid/Acc.scala   |  0
 .../valid/AddingPositiveNumbers.scala         |  0
 .../newsolvers/valid/AmortizedQueue.scala     |  0
 .../newsolvers/valid/ArrayLiterals.scala      |  0
 .../newsolvers/valid/ArrayUpdated.scala       |  0
 .../newsolvers/valid/Asserts1.scala           |  0
 .../newsolvers/valid/AssociativeList.scala    |  0
 .../newsolvers/valid/BestRealTypes.scala      |  0
 .../newsolvers/valid/BitsTricks.scala         |  0
 .../newsolvers/valid/CaseObject1.scala        |  0
 .../newsolvers/valid/Field1.scala             |  0
 .../newsolvers/valid/Field2.scala             |  0
 .../newsolvers/valid/FiniteSort.scala         |  0
 .../newsolvers/valid/FoolProofAdder.scala     |  0
 .../newsolvers/valid/Generics.scala           |  0
 .../newsolvers/valid/Generics1.scala          |  0
 .../verification/newsolvers/valid/Heaps.scala |  0
 .../newsolvers/valid/InsertionSort.scala      |  0
 .../newsolvers/valid/InstanceOf1.scala        |  0
 .../newsolvers/valid/ListOperations.scala     |  0
 .../newsolvers/valid/LiteralMaps.scala        |  0
 .../newsolvers/valid/MergeSort.scala          |  0
 .../verification/newsolvers/valid/MyMap.scala |  0
 .../verification/newsolvers/valid/MySet.scala |  0
 .../newsolvers/valid/MyTuple1.scala           |  0
 .../newsolvers/valid/MyTuple2.scala           |  0
 .../newsolvers/valid/MyTuple3.scala           |  0
 .../newsolvers/valid/MyTuple4.scala           |  0
 .../newsolvers/valid/MyTuple5.scala           |  0
 .../newsolvers/valid/MyTuple6.scala           |  0
 .../verification/newsolvers/valid/Nat.scala   |  0
 .../newsolvers/valid/NotEquals.scala          |  0
 .../newsolvers/valid/PositiveMap.scala        |  0
 .../newsolvers/valid/PropositionalLogic.scala |  0
 .../verification/newsolvers/valid/README      |  0
 .../newsolvers/valid/RedBlackTree.scala       |  0
 .../newsolvers/valid/SearchLinkedList.scala   |  0
 .../newsolvers/valid/Subtyping1.scala         |  0
 .../newsolvers/valid/Subtyping2.scala         |  0
 .../verification/newsolvers/valid/Unit1.scala |  0
 .../verification/newsolvers/valid/Unit2.scala |  0
 .../verification/purescala/invalid/Acc.scala  |  0
 .../invalid/AddingNegativeNumbers.scala       |  0
 .../invalid/AddingPositiveNumbers.scala       |  0
 .../purescala/invalid/Array1.scala            |  0
 .../purescala/invalid/Array2.scala            |  0
 .../purescala/invalid/Array3.scala            |  0
 .../purescala/invalid/Array4.scala            |  0
 .../purescala/invalid/Asserts1.scala          |  0
 .../purescala/invalid/BVDivision2.scala       |  0
 .../purescala/invalid/BVDivisionByZero.scala  |  0
 .../purescala/invalid/BVRemainderByZero.scala |  0
 .../purescala/invalid/BigArray.scala          |  0
 .../purescala/invalid/BraunTree.scala         |  0
 .../purescala/invalid/CharCompare.scala       |  0
 .../purescala/invalid/Choose1.scala           |  0
 .../purescala/invalid/DivisionByZero.scala    |  0
 .../purescala/invalid/EnsuringBoolean.scala   |  0
 .../purescala/invalid/FiniteSort.scala        |  0
 .../purescala/invalid/Generics.scala          |  0
 .../purescala/invalid/Generics2.scala         |  0
 .../purescala/invalid/HOInvocations.scala     |  0
 .../purescala/invalid/InsertionSort.scala     |  0
 .../purescala/invalid/ListOperations.scala    |  0
 .../purescala/invalid/Lists.scala             |  0
 .../purescala/invalid/MatchExh.scala          |  0
 .../purescala/invalid/ModuloByZero.scala      |  0
 .../purescala/invalid/MyTuple1.scala          |  0
 .../purescala/invalid/MyTuple2.scala          |  0
 .../purescala/invalid/MyTuple3.scala          |  0
 .../purescala/invalid/Overrides.scala         |  0
 .../purescala/invalid/PositiveMap.scala       |  0
 .../invalid/PropositionalLogic.scala          |  0
 .../verification/purescala/invalid/README     |  0
 .../invalid/RealDivisionByZero.scala          |  0
 .../purescala/invalid/RealNonDiscrete.scala   |  0
 .../purescala/invalid/RedBlackTree.scala      |  0
 .../purescala/invalid/RemainderByZero.scala   |  0
 .../purescala/invalid/Unapply1.scala          |  0
 .../purescala/invalid/Unapply2.scala          |  0
 .../purescala/invalid/Unit1.scala             |  0
 .../verification/purescala/valid/Acc.scala    |  0
 .../valid/AddingPositiveNumbers.scala         |  0
 .../purescala/valid/AmortizedQueue.scala      |  0
 .../purescala/valid/Anonymous.scala           |  0
 .../purescala/valid/ArrayLiterals.scala       |  0
 .../purescala/valid/ArrayUpdated.scala        |  0
 .../purescala/valid/Asserts1.scala            |  0
 .../purescala/valid/AssociativeList.scala     |  0
 .../purescala/valid/BVDivSemantics.scala      |  0
 .../purescala/valid/BVDivisionByZero.scala    |  0
 .../purescala/valid/BVDivisionByZero2.scala   |  0
 .../purescala/valid/BasicReal.scala           |  0
 .../purescala/valid/BestRealTypes.scala       |  0
 .../purescala/valid/BitsTricks.scala          |  0
 .../purescala/valid/CaseObject1.scala         |  0
 .../purescala/valid/Choose1.scala             |  0
 .../purescala/valid/Closures.scala            |  0
 .../purescala/valid/Closures2.scala           |  0
 .../purescala/valid/DivisionByZero.scala      |  0
 .../purescala/valid/Extern1.scala             |  0
 .../purescala/valid/Extern2.scala             |  0
 .../verification/purescala/valid/Field1.scala |  0
 .../verification/purescala/valid/Field2.scala |  0
 .../purescala/valid/FiniteSort.scala          |  0
 .../purescala/valid/FlatMap.scala             |  0
 .../purescala/valid/FoldAssociative.scala     |  0
 .../purescala/valid/FoolProofAdder.scala      |  0
 .../purescala/valid/Generics.scala            |  0
 .../purescala/valid/Generics1.scala           |  0
 .../purescala/valid/HOInvocations.scala       |  0
 .../verification/purescala/valid/Heaps.scala  |  0
 .../purescala/valid/InsertionSort.scala       |  0
 .../purescala/valid/InstanceOf1.scala         |  0
 .../purescala/valid/Justify.scala             |  0
 .../purescala/valid/LambdaEquality.scala      |  0
 .../purescala/valid/Lambdas.scala             |  0
 .../purescala/valid/ListOperations.scala      |  0
 .../verification/purescala/valid/Lists1.scala |  0
 .../verification/purescala/valid/Lists2.scala |  0
 .../verification/purescala/valid/Lists3.scala |  0
 .../verification/purescala/valid/Lists4.scala |  0
 .../verification/purescala/valid/Lists5.scala |  0
 .../verification/purescala/valid/Lists6.scala |  0
 .../purescala/valid/LiteralMaps.scala         |  0
 .../purescala/valid/MapGetOrElse2.scala       |  0
 .../purescala/valid/MapGetPlus.scala          |  0
 .../purescala/valid/MatchExh.scala            |  0
 .../purescala/valid/MergeSort.scala           |  0
 .../purescala/valid/Methods.scala             |  0
 .../purescala/valid/Monads1.scala             |  0
 .../purescala/valid/Monads2.scala             |  0
 .../purescala/valid/Monads3.scala             |  0
 .../verification/purescala/valid/MyMap.scala  |  0
 .../verification/purescala/valid/MySet.scala  |  0
 .../purescala/valid/MyTuple1.scala            |  0
 .../purescala/valid/MyTuple2.scala            |  0
 .../purescala/valid/MyTuple3.scala            |  0
 .../purescala/valid/MyTuple4.scala            |  0
 .../purescala/valid/MyTuple5.scala            |  0
 .../purescala/valid/MyTuple6.scala            |  0
 .../verification/purescala/valid/Nat.scala    |  0
 .../purescala/valid/NotEquals.scala           |  0
 .../purescala/valid/Overrides.scala           |  0
 .../purescala/valid/ParBalance.scala          |  0
 .../purescala/valid/PositiveMap.scala         |  0
 .../purescala/valid/PropositionalLogic.scala  |  0
 .../verification/purescala/valid/README       |  0
 .../purescala/valid/RealDivisionByZero.scala  |  0
 .../purescala/valid/RedBlackTree.scala        |  0
 .../purescala/valid/SearchLinkedList.scala    |  0
 .../verification/purescala/valid/Sets1.scala  |  0
 .../verification/purescala/valid/Sets2.scala  |  0
 .../purescala/valid/Subtyping1.scala          |  0
 .../purescala/valid/Subtyping2.scala          |  0
 .../verification/purescala/valid/Trees1.scala |  0
 .../purescala/valid/Unapply.scala             |  0
 .../verification/purescala/valid/Unit1.scala  |  0
 .../verification/purescala/valid/Unit2.scala  |  0
 .../verification/xlang/invalid/Array1.scala   |  0
 .../verification/xlang/invalid/Array2.scala   |  0
 .../verification/xlang/invalid/Array3.scala   |  0
 .../verification/xlang/invalid/Array4.scala   |  0
 .../verification/xlang/invalid/Array5.scala   |  0
 .../verification/xlang/invalid/Array6.scala   |  0
 .../verification/xlang/invalid/Asserts.scala  |  0
 .../verification/xlang/invalid/Epsilon1.scala |  0
 .../verification/xlang/invalid/Epsilon2.scala |  0
 .../verification/xlang/invalid/Epsilon3.scala |  0
 .../verification/xlang/invalid/Epsilon4.scala |  0
 .../verification/xlang/invalid/Epsilon5.scala |  0
 .../verification/xlang/invalid/Epsilon6.scala |  0
 .../verification/xlang/invalid/IfExpr1.scala  |  0
 .../verification/xlang/invalid/IfExpr2.scala  |  0
 .../verification/xlang/invalid/Mean.scala     |  0
 .../verification/xlang/valid/Arithmetic.scala |  0
 .../verification/xlang/valid/Array1.scala     |  0
 .../verification/xlang/valid/Array2.scala     |  0
 .../verification/xlang/valid/Array3.scala     |  0
 .../verification/xlang/valid/Array4.scala     |  0
 .../verification/xlang/valid/Array5.scala     |  0
 .../verification/xlang/valid/Array6.scala     |  0
 .../verification/xlang/valid/Array7.scala     |  0
 .../verification/xlang/valid/Array8.scala     |  0
 .../verification/xlang/valid/Array9.scala     |  0
 .../verification/xlang/valid/Assign1.scala    |  0
 .../verification/xlang/valid/Choose1.scala    |  0
 .../verification/xlang/valid/Epsilon1.scala   |  0
 .../verification/xlang/valid/Epsilon2.scala   |  0
 .../verification/xlang/valid/Epsilon3.scala   |  0
 .../verification/xlang/valid/Epsilon4.scala   |  0
 .../verification/xlang/valid/Epsilon5.scala   |  0
 .../verification/xlang/valid/IfExpr1.scala    |  0
 .../verification/xlang/valid/IfExpr2.scala    |  0
 .../verification/xlang/valid/IfExpr3.scala    |  0
 .../verification/xlang/valid/IfExpr4.scala    |  0
 .../verification/xlang/valid/Mean.scala       |  0
 .../verification/xlang/valid/Nested1.scala    |  0
 .../verification/xlang/valid/Nested10.scala   |  0
 .../verification/xlang/valid/Nested11.scala   |  0
 .../verification/xlang/valid/Nested12.scala   |  0
 .../verification/xlang/valid/Nested13.scala   |  0
 .../verification/xlang/valid/Nested14.scala   |  0
 .../verification/xlang/valid/Nested2.scala    |  0
 .../verification/xlang/valid/Nested3.scala    |  0
 .../verification/xlang/valid/Nested4.scala    |  0
 .../verification/xlang/valid/Nested5.scala    |  0
 .../verification/xlang/valid/Nested6.scala    |  0
 .../verification/xlang/valid/Nested7.scala    |  0
 .../verification/xlang/valid/Nested8.scala    |  0
 .../verification/xlang/valid/Nested9.scala    |  0
 .../verification/xlang/valid/NestedVar.scala  |  0
 .../xlang/valid/ShortCircuit.scala            |  0
 .../verification/xlang/valid/While1.scala     |  0
 .../verification/xlang/valid/While2.scala     |  0
 .../verification/xlang/valid/While3.scala     |  0
 .../valid/WhileConditionSubexpression.scala   |  0
 .../evaluators/CodegenEvaluatorSuite.scala    |  2 +-
 .../evaluators/EvaluatorSuite.scala           |  3 +-
 .../integration/purescala/DataGenSuite.scala  |  4 +-
 .../integration/purescala/DefOpsSuite.scala   |  1 -
 .../integration/purescala/ExprOpsSuite.scala  |  4 +-
 .../integration/purescala/InliningSuite.scala |  4 +-
 .../purescala/SimplifyPathsSuite.scala        |  0
 .../solvers/EnumerationSolverSuite.scala      |  0
 .../solvers/FairZ3SolverTests.scala           |  0
 .../integration/solvers/LeonSolverSuite.scala |  1 -
 .../solvers/ModelEnumerationSuite.scala       |  3 +-
 .../solvers/TimeoutSolverSuite.scala          |  0
 .../solvers/UnrollingSolverSuite.scala        |  0
 .../regression/frontends/FrontEndsSuite.scala |  4 +-
 .../leon/regression/repair/RepairSuite.scala  |  7 +-
 .../synthesis/StablePrintingSuite.scala       |  7 +-
 .../synthesis/SynthesisRegressionSuite.scala  |  2 +-
 .../regression/synthesis/SynthesisSuite.scala |  2 +-
 .../termination/TerminationSuite.scala        |  2 +-
 .../testcases/TestCasesCompile.scala          |  4 +-
 .../LibraryVerificationSuite.scala            |  6 +-
 .../verification/NewSolversSuite.scala        |  0
 .../PureScalaVerificationSuite.scala          |  0
 .../verification/VerificationSuite.scala      |  6 +-
 .../verification/XLangVerificationSuite.scala |  2 +-
 .../leon/test/LeonRegressionSuite.scala}      |  4 +-
 .../leon/test}/LeonTestSuiteWithProgram.scala |  2 +-
 .../scala/leon/test/TestSilentReporter.scala  |  1 +
 .../leon/test/helpers/WithLikelyEq.scala      |  8 +--
 .../evaluators/EvaluatorSuite.scala           |  2 +-
 .../purescala/ExprOpsSuite.scala              |  2 +-
 .../purescala/SimplifyLetsSuite.scala         |  2 +-
 .../purescala/TreeNormalizationsSuite.scala   |  2 +-
 .../purescala/TreeTestsSuite.scala            |  2 +-
 .../purescala/TypeOpsSuite.scala              |  2 +-
 .../solvers/SolverPoolSuite.scala             |  2 +-
 .../synthesis/AlgebraSuite.scala              |  2 +-
 .../synthesis/LinearEquationsSuite.scala      |  2 +-
 .../{test => unit}/utils/StreamsSuite.scala   |  2 +-
 .../{test => unit}/utils/UtilsSuite.scala     |  4 +-
 369 files changed, 58 insertions(+), 257 deletions(-)
 delete mode 100644 src/integration/scala/leon/integration/TestSilentReporter.scala
 delete mode 100644 src/integration/scala/leon/integration/helpers/ExpressionsDSL.scala
 delete mode 100644 src/integration/scala/leon/integration/helpers/WithLikelyEq.scala
 delete mode 100644 src/regression/scala/leon/regression/TestSilentReporter.scala
 rename src/{regression => test}/resources/regression/frontends/error/simple/Asserts.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/simple/ConvertBigInt.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/simple/InstanceOf1.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/simple/LiteralBigInt.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/simple/NotEquals.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array1.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array10.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array2.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array3.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array4.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array5.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array6.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array7.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array8.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/error/xlang/Array9.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/passing/ClassFields.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/passing/Fields.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/passing/ImplicitDefs.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/passing/ImplicitDefs2.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/passing/Operators.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/passing/OptParams.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/passing/Overrides.scala (100%)
 rename src/{regression => test}/resources/regression/frontends/passing/bigintExtr.scala (100%)
 rename src/{regression => test}/resources/regression/performance/cegis/Add.scala (100%)
 rename src/{regression => test}/resources/regression/performance/cegis/Distinct.scala (100%)
 rename src/{regression => test}/resources/regression/performance/cegis/Hole1.scala (100%)
 rename src/{regression => test}/resources/regression/performance/cegis/Length.scala (100%)
 rename src/{regression => test}/resources/regression/performance/cegis/Mult.scala (100%)
 rename src/{regression => test}/resources/regression/performance/cegis/Squared.scala (100%)
 rename src/{regression => test}/resources/regression/repair/Compiler1.scala (100%)
 rename src/{regression => test}/resources/regression/repair/Heap4.scala (100%)
 rename src/{regression => test}/resources/regression/repair/List1.scala (100%)
 rename src/{regression => test}/resources/regression/repair/ListEasy.scala (100%)
 rename src/{regression => test}/resources/regression/repair/MergeSort2.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/Church/Add.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/Church/Distinct.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/Church/Mult.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/Church/Squared.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/Examples/Length.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/Holes/Hole1.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/List/Delete.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/List/Diff.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/List/Insert.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/List/Split1.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/List/Split2.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/List/Split3.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/List/Union.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/Misc/HolesBug.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/Misc/Unapply.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/SortedList/Delete.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/SortedList/Diff.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/SortedList/Insert1.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/SortedList/Insert2.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/SortedList/InsertSort.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/SortedList/Union.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/StrictSortedList/Delete.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/StrictSortedList/Insert.scala (100%)
 rename src/{regression => test}/resources/regression/synthesis/StrictSortedList/Union.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/LambdaCalculus.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/Numeric1.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/Numeric2.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/Numeric3.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/OddEven.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/Queue.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/Termination_failling1.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/UniversalEquality.scala (100%)
 rename src/{regression => test}/resources/regression/termination/looping/WrongFibonacci.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/BinaryTreeImp.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/CountTowardsZero.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/Fibonacci.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/HOTermination.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/ListWithSize.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/Numeric1.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/Queue.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/QuickSort.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/RedBlackTree.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/SimpInterpret.scala (100%)
 rename src/{regression => test}/resources/regression/termination/valid/Termination_passing1.scala (100%)
 rename src/{regression => test}/resources/regression/testcases (100%)
 rename src/{regression => test}/resources/regression/transformations/SimplifyLets.scala (100%)
 rename src/{regression => test}/resources/regression/transformations/SimplifyPaths.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Acc.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/AddingNegativeNumbers.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/AddingPositiveNumbers.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Array1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Array2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Array3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Array4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Asserts1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/BVDivision.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/BVDivision2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/BigArray.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Division.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/EnsuringBoolean.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/FiniteSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Generics.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Generics2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/InsertionSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/ListOperations.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/MyTuple1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/MyTuple2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/MyTuple3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/PositiveMap.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/PropositionalLogic.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/README (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/RedBlackTree.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/invalid/Unit1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Acc.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/AddingPositiveNumbers.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/AmortizedQueue.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/ArrayLiterals.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/ArrayUpdated.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Asserts1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/AssociativeList.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/BestRealTypes.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/BitsTricks.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/CaseObject1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Field1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Field2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/FiniteSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/FoolProofAdder.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Generics.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Generics1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Heaps.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/InsertionSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/InstanceOf1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/ListOperations.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/LiteralMaps.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MergeSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MyMap.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MySet.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MyTuple1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MyTuple2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MyTuple3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MyTuple4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MyTuple5.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/MyTuple6.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Nat.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/NotEquals.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/PositiveMap.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/PropositionalLogic.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/README (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/RedBlackTree.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/SearchLinkedList.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Subtyping1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Subtyping2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Unit1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/newsolvers/valid/Unit2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Acc.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/AddingNegativeNumbers.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/AddingPositiveNumbers.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Array1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Array2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Array3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Array4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Asserts1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/BVDivision2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/BVDivisionByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/BVRemainderByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/BigArray.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/BraunTree.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/CharCompare.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Choose1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/DivisionByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/EnsuringBoolean.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/FiniteSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Generics.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Generics2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/HOInvocations.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/InsertionSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/ListOperations.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Lists.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/MatchExh.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/ModuloByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/MyTuple1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/MyTuple2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/MyTuple3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Overrides.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/PositiveMap.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/PropositionalLogic.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/README (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/RealDivisionByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/RealNonDiscrete.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/RedBlackTree.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/RemainderByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Unapply1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Unapply2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/invalid/Unit1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Acc.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/AddingPositiveNumbers.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/AmortizedQueue.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Anonymous.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/ArrayLiterals.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/ArrayUpdated.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Asserts1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/AssociativeList.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/BVDivSemantics.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/BVDivisionByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/BVDivisionByZero2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/BasicReal.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/BestRealTypes.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/BitsTricks.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/CaseObject1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Choose1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Closures.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Closures2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/DivisionByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Extern1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Extern2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Field1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Field2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/FiniteSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/FlatMap.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/FoldAssociative.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/FoolProofAdder.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Generics.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Generics1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/HOInvocations.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Heaps.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/InsertionSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/InstanceOf1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Justify.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/LambdaEquality.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Lambdas.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/ListOperations.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Lists1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Lists2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Lists3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Lists4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Lists5.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Lists6.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/LiteralMaps.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MapGetOrElse2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MapGetPlus.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MatchExh.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MergeSort.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Methods.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Monads1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Monads2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Monads3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MyMap.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MySet.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MyTuple1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MyTuple2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MyTuple3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MyTuple4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MyTuple5.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/MyTuple6.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Nat.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/NotEquals.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Overrides.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/ParBalance.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/PositiveMap.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/PropositionalLogic.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/README (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/RealDivisionByZero.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/RedBlackTree.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/SearchLinkedList.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Sets1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Sets2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Subtyping1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Subtyping2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Trees1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Unapply.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Unit1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/purescala/valid/Unit2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Array1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Array2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Array3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Array4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Array5.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Array6.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Asserts.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Epsilon1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Epsilon2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Epsilon3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Epsilon4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Epsilon5.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Epsilon6.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/IfExpr1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/IfExpr2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/invalid/Mean.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Arithmetic.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array5.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array6.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array7.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array8.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Array9.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Assign1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Choose1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Epsilon1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Epsilon2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Epsilon3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Epsilon4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Epsilon5.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/IfExpr1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/IfExpr2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/IfExpr3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/IfExpr4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Mean.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested10.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested11.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested12.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested13.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested14.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested4.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested5.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested6.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested7.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested8.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/Nested9.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/NestedVar.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/ShortCircuit.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/While1.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/While2.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/While3.scala (100%)
 rename src/{regression => test}/resources/regression/verification/xlang/valid/WhileConditionSubexpression.scala (100%)
 rename src/{integration => test}/scala/leon/integration/evaluators/CodegenEvaluatorSuite.scala (99%)
 rename src/{integration => test}/scala/leon/integration/evaluators/EvaluatorSuite.scala (99%)
 rename src/{integration => test}/scala/leon/integration/purescala/DataGenSuite.scala (94%)
 rename src/{integration => test}/scala/leon/integration/purescala/DefOpsSuite.scala (98%)
 rename src/{integration => test}/scala/leon/integration/purescala/ExprOpsSuite.scala (93%)
 rename src/{integration => test}/scala/leon/integration/purescala/InliningSuite.scala (86%)
 rename src/{integration => test}/scala/leon/integration/purescala/SimplifyPathsSuite.scala (100%)
 rename src/{integration => test}/scala/leon/integration/solvers/EnumerationSolverSuite.scala (100%)
 rename src/{integration => test}/scala/leon/integration/solvers/FairZ3SolverTests.scala (100%)
 rename src/{integration => test}/scala/leon/integration/solvers/LeonSolverSuite.scala (98%)
 rename src/{integration => test}/scala/leon/integration/solvers/ModelEnumerationSuite.scala (98%)
 rename src/{integration => test}/scala/leon/integration/solvers/TimeoutSolverSuite.scala (100%)
 rename src/{integration => test}/scala/leon/integration/solvers/UnrollingSolverSuite.scala (100%)
 rename src/{regression => test}/scala/leon/regression/frontends/FrontEndsSuite.scala (94%)
 rename src/{regression => test}/scala/leon/regression/repair/RepairSuite.scala (92%)
 rename src/{regression => test}/scala/leon/regression/synthesis/StablePrintingSuite.scala (97%)
 rename src/{regression => test}/scala/leon/regression/synthesis/SynthesisRegressionSuite.scala (96%)
 rename src/{regression => test}/scala/leon/regression/synthesis/SynthesisSuite.scala (99%)
 rename src/{regression => test}/scala/leon/regression/termination/TerminationSuite.scala (98%)
 rename src/{regression => test}/scala/leon/regression/testcases/TestCasesCompile.scala (93%)
 rename src/{regression => test}/scala/leon/regression/verification/LibraryVerificationSuite.scala (84%)
 rename src/{regression => test}/scala/leon/regression/verification/NewSolversSuite.scala (100%)
 rename src/{regression => test}/scala/leon/regression/verification/PureScalaVerificationSuite.scala (100%)
 rename src/{regression => test}/scala/leon/regression/verification/VerificationSuite.scala (96%)
 rename src/{regression => test}/scala/leon/regression/verification/XLangVerificationSuite.scala (97%)
 rename src/{regression/scala/leon/regression/LeonTestSuite.scala => test/scala/leon/test/LeonRegressionSuite.scala} (96%)
 rename src/{integration/scala/leon/integration => test/scala/leon/test}/LeonTestSuiteWithProgram.scala (98%)
 rename src/test/scala/leon/{test => unit}/evaluators/EvaluatorSuite.scala (99%)
 rename src/test/scala/leon/{test => unit}/purescala/ExprOpsSuite.scala (99%)
 rename src/test/scala/leon/{test => unit}/purescala/SimplifyLetsSuite.scala (98%)
 rename src/test/scala/leon/{test => unit}/purescala/TreeNormalizationsSuite.scala (98%)
 rename src/test/scala/leon/{test => unit}/purescala/TreeTestsSuite.scala (97%)
 rename src/test/scala/leon/{test => unit}/purescala/TypeOpsSuite.scala (99%)
 rename src/test/scala/leon/{test => unit}/solvers/SolverPoolSuite.scala (98%)
 rename src/test/scala/leon/{test => unit}/synthesis/AlgebraSuite.scala (99%)
 rename src/test/scala/leon/{test => unit}/synthesis/LinearEquationsSuite.scala (99%)
 rename src/test/scala/leon/{test => unit}/utils/StreamsSuite.scala (98%)
 rename src/test/scala/leon/{test => unit}/utils/UtilsSuite.scala (95%)

diff --git a/build.sbt b/build.sbt
index 8fc2342f0..36a1e4879 100644
--- a/build.sbt
+++ b/build.sbt
@@ -93,50 +93,29 @@ sourcesInBase in Compile := false
 
 Keys.fork in run := true
 
-// Unit Tests
-Keys.fork in Test := true
-
-logBuffered in Test := false
-
-javaOptions in Test ++= Seq("-Xss16M", "-Xmx4G", "-XX:MaxPermSize=128M")
-
-parallelExecution in Test := true
-
-testOptions in Test := Seq(Tests.Argument("-oDF"))
-
+lazy val testSettings = Seq(
+    Keys.fork := true,
+    logBuffered := false,
+    javaOptions ++= Seq("-Xss16M", "-Xmx4G", "-XX:MaxPermSize=128M")
+)
 
+// Unit Tests
+testOptions in Test := Seq(Tests.Argument("-oDF"), Tests.Filter(_ startsWith "leon.unit."))
 
-// Regression Tests
+// Integration Tests
 lazy val IntegrTest = config("integration") extend(Test)
 
-Keys.fork in IntegrTest := true
-
-logBuffered in IntegrTest := false
-
-javaOptions in IntegrTest ++= Seq("-Xss16M", "-Xmx4G", "-XX:MaxPermSize=128M")
-
-parallelExecution in IntegrTest := false
-
-testOptions in IntegrTest := Seq(Tests.Argument("-oDF"))
+testOptions in IntegrTest := Seq(Tests.Argument("-oDF"), Tests.Filter(_ startsWith "leon.integration."))
 
 
 
 // RegressionTest Tests
 lazy val RegressionTest = config("regression") extend(Test)
 
-Keys.fork in RegressionTest := true
-
-logBuffered in RegressionTest := false
-
-javaOptions in RegressionTest  ++= Seq("-Xss16M", "-Xmx4G", "-XX:MaxPermSize=128M")
+testOptions in RegressionTest  := Seq(Tests.Argument("-oDF"), Tests.Filter(_ startsWith "leon.regression."))
 
 parallelExecution in RegressionTest := false
 
-testOptions in RegressionTest  := Seq(Tests.Argument("-oDF"))
-
-
-
-
 
 def ghProject(repo: String, version: String) = RootProject(uri(s"${repo}#${version}"))
 
@@ -148,7 +127,7 @@ lazy val root = (project in file(".")).
   configs(RegressionTest).
   configs(IntegrTest).
   dependsOn(bonsai, scalaSmtLib).
-  settings(inConfig(RegressionTest)(Defaults.testSettings): _*).
-  settings(inConfig(IntegrTest)(Defaults.testSettings): _*)
+  settings(inConfig(RegressionTest)(Defaults.testTasks ++ testSettings): _*).
+  settings(inConfig(IntegrTest)(Defaults.testTasks ++ testSettings): _*)
 
 
diff --git a/src/integration/scala/leon/integration/TestSilentReporter.scala b/src/integration/scala/leon/integration/TestSilentReporter.scala
deleted file mode 100644
index 6c639f74a..000000000
--- a/src/integration/scala/leon/integration/TestSilentReporter.scala
+++ /dev/null
@@ -1,15 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon.integration
-
-import leon.DefaultReporter
-
-class TestSilentReporter extends DefaultReporter(Set()) {
-  var lastErrors: List[String] = Nil
-
-  override def emit(msg: Message): Unit = msg match { 
-    case Message(this.ERROR, _, msg) => lastErrors ++= List(msg.toString)
-    case Message(this.FATAL, _, msg) => lastErrors ++= List(msg.toString)
-    case _ =>
-  }
-}
diff --git a/src/integration/scala/leon/integration/helpers/ExpressionsDSL.scala b/src/integration/scala/leon/integration/helpers/ExpressionsDSL.scala
deleted file mode 100644
index 5725bd7c1..000000000
--- a/src/integration/scala/leon/integration/helpers/ExpressionsDSL.scala
+++ /dev/null
@@ -1,72 +0,0 @@
-package leon.integration.helpers
-
-import org.scalatest.Assertions
-
-import leon.purescala.Definitions._
-import leon.purescala.Common._
-import leon.purescala.Types._
-import leon.purescala.Expressions._
-
-trait ExpressionsDSL {
-  self: Assertions =>
-
-  val F = BooleanLiteral(false)
-  val T = BooleanLiteral(true)
-
-  def bi(x: Int)    = InfiniteIntegerLiteral(x)
-  def b(x: Boolean) = BooleanLiteral(x)
-  def i(x: Int)     = IntLiteral(x)
-  def r(x: Double)  = RealLiteral(BigDecimal(x))
-
-  val a = FreshIdentifier("a", Int32Type).toVariable
-  val b = FreshIdentifier("b", Int32Type).toVariable
-  val c = FreshIdentifier("c", Int32Type).toVariable
-
-  val x = FreshIdentifier("x", IntegerType).toVariable
-  val y = FreshIdentifier("y", IntegerType).toVariable
-  val z = FreshIdentifier("z", IntegerType).toVariable
-
-  val m = FreshIdentifier("m", RealType).toVariable
-  val n = FreshIdentifier("n", RealType).toVariable
-  val o = FreshIdentifier("o", RealType).toVariable
-
-  val p = FreshIdentifier("p", BooleanType).toVariable
-  val q = FreshIdentifier("q", BooleanType).toVariable
-  val r = FreshIdentifier("r", BooleanType).toVariable
-
-
-  def funDef(name: String)(implicit pgm: Program): FunDef = {
-    pgm.lookupAll(name).collect {
-      case fd: FunDef => fd
-    }.headOption.getOrElse {
-      fail(s"Failed to lookup function '$name' in program")
-    }
-  }
-
-  def classDef(name: String)(implicit pgm: Program): ClassDef = {
-    pgm.lookupAll(name).collect {
-      case cd: ClassDef => cd
-    }.headOption.getOrElse {
-      fail(s"Failed to lookup class '$name' in program")
-    }
-  }
-
-  def caseClassDef(name: String)(implicit pgm: Program): CaseClassDef = {
-    pgm.lookupAll(name).collect {
-      case ccd: CaseClassDef => ccd
-    }.headOption.getOrElse {
-      fail(s"Failed to lookup case class '$name' in program")
-    }
-  }
-
-  def cc(name: String)(args: Expr*)(implicit pgm: Program): Expr = {
-    val cct = caseClassDef(name).typed(Seq())
-    CaseClass(cct, args.toSeq)
-  }
-
-  def fcall(name: String)(args: Expr*)(implicit pgm: Program): Expr = {
-    val tfd = funDef(name).typed(Seq())
-    FunctionInvocation(tfd, args.toSeq)
-  }
-
-}
diff --git a/src/integration/scala/leon/integration/helpers/WithLikelyEq.scala b/src/integration/scala/leon/integration/helpers/WithLikelyEq.scala
deleted file mode 100644
index 7425bba66..000000000
--- a/src/integration/scala/leon/integration/helpers/WithLikelyEq.scala
+++ /dev/null
@@ -1,65 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon.integration.helpers
-
-import org.scalatest.Assertions
-
-import leon.test._
-import leon.evaluators._
-import leon.purescala.Common._
-import leon.LeonContext
-import leon.purescala.Types._
-import leon.purescala.Definitions._
-import leon.purescala.ExprOps._
-import leon.purescala.Expressions._
-import leon.utils.SeqUtils._
-
-/*
- * Determine if two expressions over arithmetic variables are likely to be equal.
- *
- * This is a probabilistic based approach, it does not rely on any external solver and can
- * only prove the non equality of two expressions.
- */
-trait WithLikelyEq {
-  self: Assertions =>
-
-  val typesValues = Map[TypeTree, Seq[Expr]](
-    IntegerType -> Seq(-42, -1, 0, 1, 7, 42).map(InfiniteIntegerLiteral(_)),
-    Int32Type   -> Seq(-42, -1, 0, 1, 7, 42).map(IntLiteral(_)),
-    BooleanType -> Seq(BooleanLiteral(false), BooleanLiteral(true))
-  )
-
-  def checkLikelyEq(ctx: LeonContext, pgm: Program = Program.empty)(e1: Expr, e2: Expr, pre: Option[Expr] = None, values: Map[Identifier, Expr] = Map()): Unit = {
-    val evaluator = new DefaultEvaluator(ctx, pgm)
-
-    val freeVars = (variablesOf(e1) ++ variablesOf(e2)).toSeq.sortBy(_.globalId)
-
-    if (freeVars.isEmpty) {
-      val r1 = evaluator.eval(e1)
-      val r2 = evaluator.eval(e2)
-
-      assert(r1 === r2, s"'$e1' != '$e2' ('$r1' != '$r2')")
-    } else {
-
-      val allValues = freeVars.map(id => values.get(id).map(Seq(_)).getOrElse(typesValues(id.getType)))
-
-      cartesianProduct(allValues).foreach { vs =>
-        val m = (freeVars zip vs).toMap
-
-        val doTest = pre.map { p =>
-          evaluator.eval(p, m).result match {
-            case Some(BooleanLiteral(b)) => b
-            case _ => fail("Precondition is not a boolean expression")
-          }
-        }.getOrElse(true)
-
-        if (doTest) {
-          val r1 = evaluator.eval(e1, m)
-          val r2 = evaluator.eval(e2, m)
-
-          assert(r1 === r2, s"'$e1' != '$e2' with '$m' ('$r1' != '$r2')")
-        }
-      }
-    }
-  }
-}
diff --git a/src/regression/scala/leon/regression/TestSilentReporter.scala b/src/regression/scala/leon/regression/TestSilentReporter.scala
deleted file mode 100644
index e774c419d..000000000
--- a/src/regression/scala/leon/regression/TestSilentReporter.scala
+++ /dev/null
@@ -1,15 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon.regression
-
-import leon.DefaultReporter
-
-class TestSilentReporter extends DefaultReporter(Set()) {
-  var lastErrors: List[String] = Nil
-
-  override def emit(msg: Message): Unit = msg match { 
-    case Message(this.ERROR, _, msg) => lastErrors ++= List(msg.toString)
-    case Message(this.FATAL, _, msg) => lastErrors ++= List(msg.toString)
-    case _ =>
-  }
-}
diff --git a/src/regression/resources/regression/frontends/error/simple/Asserts.scala b/src/test/resources/regression/frontends/error/simple/Asserts.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/simple/Asserts.scala
rename to src/test/resources/regression/frontends/error/simple/Asserts.scala
diff --git a/src/regression/resources/regression/frontends/error/simple/ConvertBigInt.scala b/src/test/resources/regression/frontends/error/simple/ConvertBigInt.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/simple/ConvertBigInt.scala
rename to src/test/resources/regression/frontends/error/simple/ConvertBigInt.scala
diff --git a/src/regression/resources/regression/frontends/error/simple/InstanceOf1.scala b/src/test/resources/regression/frontends/error/simple/InstanceOf1.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/simple/InstanceOf1.scala
rename to src/test/resources/regression/frontends/error/simple/InstanceOf1.scala
diff --git a/src/regression/resources/regression/frontends/error/simple/LiteralBigInt.scala b/src/test/resources/regression/frontends/error/simple/LiteralBigInt.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/simple/LiteralBigInt.scala
rename to src/test/resources/regression/frontends/error/simple/LiteralBigInt.scala
diff --git a/src/regression/resources/regression/frontends/error/simple/NotEquals.scala b/src/test/resources/regression/frontends/error/simple/NotEquals.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/simple/NotEquals.scala
rename to src/test/resources/regression/frontends/error/simple/NotEquals.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array1.scala b/src/test/resources/regression/frontends/error/xlang/Array1.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array1.scala
rename to src/test/resources/regression/frontends/error/xlang/Array1.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array10.scala b/src/test/resources/regression/frontends/error/xlang/Array10.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array10.scala
rename to src/test/resources/regression/frontends/error/xlang/Array10.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array2.scala b/src/test/resources/regression/frontends/error/xlang/Array2.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array2.scala
rename to src/test/resources/regression/frontends/error/xlang/Array2.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array3.scala b/src/test/resources/regression/frontends/error/xlang/Array3.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array3.scala
rename to src/test/resources/regression/frontends/error/xlang/Array3.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array4.scala b/src/test/resources/regression/frontends/error/xlang/Array4.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array4.scala
rename to src/test/resources/regression/frontends/error/xlang/Array4.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array5.scala b/src/test/resources/regression/frontends/error/xlang/Array5.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array5.scala
rename to src/test/resources/regression/frontends/error/xlang/Array5.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array6.scala b/src/test/resources/regression/frontends/error/xlang/Array6.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array6.scala
rename to src/test/resources/regression/frontends/error/xlang/Array6.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array7.scala b/src/test/resources/regression/frontends/error/xlang/Array7.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array7.scala
rename to src/test/resources/regression/frontends/error/xlang/Array7.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array8.scala b/src/test/resources/regression/frontends/error/xlang/Array8.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array8.scala
rename to src/test/resources/regression/frontends/error/xlang/Array8.scala
diff --git a/src/regression/resources/regression/frontends/error/xlang/Array9.scala b/src/test/resources/regression/frontends/error/xlang/Array9.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/error/xlang/Array9.scala
rename to src/test/resources/regression/frontends/error/xlang/Array9.scala
diff --git a/src/regression/resources/regression/frontends/passing/ClassFields.scala b/src/test/resources/regression/frontends/passing/ClassFields.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/passing/ClassFields.scala
rename to src/test/resources/regression/frontends/passing/ClassFields.scala
diff --git a/src/regression/resources/regression/frontends/passing/Fields.scala b/src/test/resources/regression/frontends/passing/Fields.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/passing/Fields.scala
rename to src/test/resources/regression/frontends/passing/Fields.scala
diff --git a/src/regression/resources/regression/frontends/passing/ImplicitDefs.scala b/src/test/resources/regression/frontends/passing/ImplicitDefs.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/passing/ImplicitDefs.scala
rename to src/test/resources/regression/frontends/passing/ImplicitDefs.scala
diff --git a/src/regression/resources/regression/frontends/passing/ImplicitDefs2.scala b/src/test/resources/regression/frontends/passing/ImplicitDefs2.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/passing/ImplicitDefs2.scala
rename to src/test/resources/regression/frontends/passing/ImplicitDefs2.scala
diff --git a/src/regression/resources/regression/frontends/passing/Operators.scala b/src/test/resources/regression/frontends/passing/Operators.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/passing/Operators.scala
rename to src/test/resources/regression/frontends/passing/Operators.scala
diff --git a/src/regression/resources/regression/frontends/passing/OptParams.scala b/src/test/resources/regression/frontends/passing/OptParams.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/passing/OptParams.scala
rename to src/test/resources/regression/frontends/passing/OptParams.scala
diff --git a/src/regression/resources/regression/frontends/passing/Overrides.scala b/src/test/resources/regression/frontends/passing/Overrides.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/passing/Overrides.scala
rename to src/test/resources/regression/frontends/passing/Overrides.scala
diff --git a/src/regression/resources/regression/frontends/passing/bigintExtr.scala b/src/test/resources/regression/frontends/passing/bigintExtr.scala
similarity index 100%
rename from src/regression/resources/regression/frontends/passing/bigintExtr.scala
rename to src/test/resources/regression/frontends/passing/bigintExtr.scala
diff --git a/src/regression/resources/regression/performance/cegis/Add.scala b/src/test/resources/regression/performance/cegis/Add.scala
similarity index 100%
rename from src/regression/resources/regression/performance/cegis/Add.scala
rename to src/test/resources/regression/performance/cegis/Add.scala
diff --git a/src/regression/resources/regression/performance/cegis/Distinct.scala b/src/test/resources/regression/performance/cegis/Distinct.scala
similarity index 100%
rename from src/regression/resources/regression/performance/cegis/Distinct.scala
rename to src/test/resources/regression/performance/cegis/Distinct.scala
diff --git a/src/regression/resources/regression/performance/cegis/Hole1.scala b/src/test/resources/regression/performance/cegis/Hole1.scala
similarity index 100%
rename from src/regression/resources/regression/performance/cegis/Hole1.scala
rename to src/test/resources/regression/performance/cegis/Hole1.scala
diff --git a/src/regression/resources/regression/performance/cegis/Length.scala b/src/test/resources/regression/performance/cegis/Length.scala
similarity index 100%
rename from src/regression/resources/regression/performance/cegis/Length.scala
rename to src/test/resources/regression/performance/cegis/Length.scala
diff --git a/src/regression/resources/regression/performance/cegis/Mult.scala b/src/test/resources/regression/performance/cegis/Mult.scala
similarity index 100%
rename from src/regression/resources/regression/performance/cegis/Mult.scala
rename to src/test/resources/regression/performance/cegis/Mult.scala
diff --git a/src/regression/resources/regression/performance/cegis/Squared.scala b/src/test/resources/regression/performance/cegis/Squared.scala
similarity index 100%
rename from src/regression/resources/regression/performance/cegis/Squared.scala
rename to src/test/resources/regression/performance/cegis/Squared.scala
diff --git a/src/regression/resources/regression/repair/Compiler1.scala b/src/test/resources/regression/repair/Compiler1.scala
similarity index 100%
rename from src/regression/resources/regression/repair/Compiler1.scala
rename to src/test/resources/regression/repair/Compiler1.scala
diff --git a/src/regression/resources/regression/repair/Heap4.scala b/src/test/resources/regression/repair/Heap4.scala
similarity index 100%
rename from src/regression/resources/regression/repair/Heap4.scala
rename to src/test/resources/regression/repair/Heap4.scala
diff --git a/src/regression/resources/regression/repair/List1.scala b/src/test/resources/regression/repair/List1.scala
similarity index 100%
rename from src/regression/resources/regression/repair/List1.scala
rename to src/test/resources/regression/repair/List1.scala
diff --git a/src/regression/resources/regression/repair/ListEasy.scala b/src/test/resources/regression/repair/ListEasy.scala
similarity index 100%
rename from src/regression/resources/regression/repair/ListEasy.scala
rename to src/test/resources/regression/repair/ListEasy.scala
diff --git a/src/regression/resources/regression/repair/MergeSort2.scala b/src/test/resources/regression/repair/MergeSort2.scala
similarity index 100%
rename from src/regression/resources/regression/repair/MergeSort2.scala
rename to src/test/resources/regression/repair/MergeSort2.scala
diff --git a/src/regression/resources/regression/synthesis/Church/Add.scala b/src/test/resources/regression/synthesis/Church/Add.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/Church/Add.scala
rename to src/test/resources/regression/synthesis/Church/Add.scala
diff --git a/src/regression/resources/regression/synthesis/Church/Distinct.scala b/src/test/resources/regression/synthesis/Church/Distinct.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/Church/Distinct.scala
rename to src/test/resources/regression/synthesis/Church/Distinct.scala
diff --git a/src/regression/resources/regression/synthesis/Church/Mult.scala b/src/test/resources/regression/synthesis/Church/Mult.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/Church/Mult.scala
rename to src/test/resources/regression/synthesis/Church/Mult.scala
diff --git a/src/regression/resources/regression/synthesis/Church/Squared.scala b/src/test/resources/regression/synthesis/Church/Squared.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/Church/Squared.scala
rename to src/test/resources/regression/synthesis/Church/Squared.scala
diff --git a/src/regression/resources/regression/synthesis/Examples/Length.scala b/src/test/resources/regression/synthesis/Examples/Length.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/Examples/Length.scala
rename to src/test/resources/regression/synthesis/Examples/Length.scala
diff --git a/src/regression/resources/regression/synthesis/Holes/Hole1.scala b/src/test/resources/regression/synthesis/Holes/Hole1.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/Holes/Hole1.scala
rename to src/test/resources/regression/synthesis/Holes/Hole1.scala
diff --git a/src/regression/resources/regression/synthesis/List/Delete.scala b/src/test/resources/regression/synthesis/List/Delete.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/List/Delete.scala
rename to src/test/resources/regression/synthesis/List/Delete.scala
diff --git a/src/regression/resources/regression/synthesis/List/Diff.scala b/src/test/resources/regression/synthesis/List/Diff.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/List/Diff.scala
rename to src/test/resources/regression/synthesis/List/Diff.scala
diff --git a/src/regression/resources/regression/synthesis/List/Insert.scala b/src/test/resources/regression/synthesis/List/Insert.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/List/Insert.scala
rename to src/test/resources/regression/synthesis/List/Insert.scala
diff --git a/src/regression/resources/regression/synthesis/List/Split1.scala b/src/test/resources/regression/synthesis/List/Split1.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/List/Split1.scala
rename to src/test/resources/regression/synthesis/List/Split1.scala
diff --git a/src/regression/resources/regression/synthesis/List/Split2.scala b/src/test/resources/regression/synthesis/List/Split2.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/List/Split2.scala
rename to src/test/resources/regression/synthesis/List/Split2.scala
diff --git a/src/regression/resources/regression/synthesis/List/Split3.scala b/src/test/resources/regression/synthesis/List/Split3.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/List/Split3.scala
rename to src/test/resources/regression/synthesis/List/Split3.scala
diff --git a/src/regression/resources/regression/synthesis/List/Union.scala b/src/test/resources/regression/synthesis/List/Union.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/List/Union.scala
rename to src/test/resources/regression/synthesis/List/Union.scala
diff --git a/src/regression/resources/regression/synthesis/Misc/HolesBug.scala b/src/test/resources/regression/synthesis/Misc/HolesBug.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/Misc/HolesBug.scala
rename to src/test/resources/regression/synthesis/Misc/HolesBug.scala
diff --git a/src/regression/resources/regression/synthesis/Misc/Unapply.scala b/src/test/resources/regression/synthesis/Misc/Unapply.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/Misc/Unapply.scala
rename to src/test/resources/regression/synthesis/Misc/Unapply.scala
diff --git a/src/regression/resources/regression/synthesis/SortedList/Delete.scala b/src/test/resources/regression/synthesis/SortedList/Delete.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/SortedList/Delete.scala
rename to src/test/resources/regression/synthesis/SortedList/Delete.scala
diff --git a/src/regression/resources/regression/synthesis/SortedList/Diff.scala b/src/test/resources/regression/synthesis/SortedList/Diff.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/SortedList/Diff.scala
rename to src/test/resources/regression/synthesis/SortedList/Diff.scala
diff --git a/src/regression/resources/regression/synthesis/SortedList/Insert1.scala b/src/test/resources/regression/synthesis/SortedList/Insert1.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/SortedList/Insert1.scala
rename to src/test/resources/regression/synthesis/SortedList/Insert1.scala
diff --git a/src/regression/resources/regression/synthesis/SortedList/Insert2.scala b/src/test/resources/regression/synthesis/SortedList/Insert2.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/SortedList/Insert2.scala
rename to src/test/resources/regression/synthesis/SortedList/Insert2.scala
diff --git a/src/regression/resources/regression/synthesis/SortedList/InsertSort.scala b/src/test/resources/regression/synthesis/SortedList/InsertSort.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/SortedList/InsertSort.scala
rename to src/test/resources/regression/synthesis/SortedList/InsertSort.scala
diff --git a/src/regression/resources/regression/synthesis/SortedList/Union.scala b/src/test/resources/regression/synthesis/SortedList/Union.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/SortedList/Union.scala
rename to src/test/resources/regression/synthesis/SortedList/Union.scala
diff --git a/src/regression/resources/regression/synthesis/StrictSortedList/Delete.scala b/src/test/resources/regression/synthesis/StrictSortedList/Delete.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/StrictSortedList/Delete.scala
rename to src/test/resources/regression/synthesis/StrictSortedList/Delete.scala
diff --git a/src/regression/resources/regression/synthesis/StrictSortedList/Insert.scala b/src/test/resources/regression/synthesis/StrictSortedList/Insert.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/StrictSortedList/Insert.scala
rename to src/test/resources/regression/synthesis/StrictSortedList/Insert.scala
diff --git a/src/regression/resources/regression/synthesis/StrictSortedList/Union.scala b/src/test/resources/regression/synthesis/StrictSortedList/Union.scala
similarity index 100%
rename from src/regression/resources/regression/synthesis/StrictSortedList/Union.scala
rename to src/test/resources/regression/synthesis/StrictSortedList/Union.scala
diff --git a/src/regression/resources/regression/termination/looping/LambdaCalculus.scala b/src/test/resources/regression/termination/looping/LambdaCalculus.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/LambdaCalculus.scala
rename to src/test/resources/regression/termination/looping/LambdaCalculus.scala
diff --git a/src/regression/resources/regression/termination/looping/Numeric1.scala b/src/test/resources/regression/termination/looping/Numeric1.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/Numeric1.scala
rename to src/test/resources/regression/termination/looping/Numeric1.scala
diff --git a/src/regression/resources/regression/termination/looping/Numeric2.scala b/src/test/resources/regression/termination/looping/Numeric2.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/Numeric2.scala
rename to src/test/resources/regression/termination/looping/Numeric2.scala
diff --git a/src/regression/resources/regression/termination/looping/Numeric3.scala b/src/test/resources/regression/termination/looping/Numeric3.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/Numeric3.scala
rename to src/test/resources/regression/termination/looping/Numeric3.scala
diff --git a/src/regression/resources/regression/termination/looping/OddEven.scala b/src/test/resources/regression/termination/looping/OddEven.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/OddEven.scala
rename to src/test/resources/regression/termination/looping/OddEven.scala
diff --git a/src/regression/resources/regression/termination/looping/Queue.scala b/src/test/resources/regression/termination/looping/Queue.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/Queue.scala
rename to src/test/resources/regression/termination/looping/Queue.scala
diff --git a/src/regression/resources/regression/termination/looping/Termination_failling1.scala b/src/test/resources/regression/termination/looping/Termination_failling1.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/Termination_failling1.scala
rename to src/test/resources/regression/termination/looping/Termination_failling1.scala
diff --git a/src/regression/resources/regression/termination/looping/UniversalEquality.scala b/src/test/resources/regression/termination/looping/UniversalEquality.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/UniversalEquality.scala
rename to src/test/resources/regression/termination/looping/UniversalEquality.scala
diff --git a/src/regression/resources/regression/termination/looping/WrongFibonacci.scala b/src/test/resources/regression/termination/looping/WrongFibonacci.scala
similarity index 100%
rename from src/regression/resources/regression/termination/looping/WrongFibonacci.scala
rename to src/test/resources/regression/termination/looping/WrongFibonacci.scala
diff --git a/src/regression/resources/regression/termination/valid/BinaryTreeImp.scala b/src/test/resources/regression/termination/valid/BinaryTreeImp.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/BinaryTreeImp.scala
rename to src/test/resources/regression/termination/valid/BinaryTreeImp.scala
diff --git a/src/regression/resources/regression/termination/valid/CountTowardsZero.scala b/src/test/resources/regression/termination/valid/CountTowardsZero.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/CountTowardsZero.scala
rename to src/test/resources/regression/termination/valid/CountTowardsZero.scala
diff --git a/src/regression/resources/regression/termination/valid/Fibonacci.scala b/src/test/resources/regression/termination/valid/Fibonacci.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/Fibonacci.scala
rename to src/test/resources/regression/termination/valid/Fibonacci.scala
diff --git a/src/regression/resources/regression/termination/valid/HOTermination.scala b/src/test/resources/regression/termination/valid/HOTermination.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/HOTermination.scala
rename to src/test/resources/regression/termination/valid/HOTermination.scala
diff --git a/src/regression/resources/regression/termination/valid/ListWithSize.scala b/src/test/resources/regression/termination/valid/ListWithSize.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/ListWithSize.scala
rename to src/test/resources/regression/termination/valid/ListWithSize.scala
diff --git a/src/regression/resources/regression/termination/valid/Numeric1.scala b/src/test/resources/regression/termination/valid/Numeric1.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/Numeric1.scala
rename to src/test/resources/regression/termination/valid/Numeric1.scala
diff --git a/src/regression/resources/regression/termination/valid/Queue.scala b/src/test/resources/regression/termination/valid/Queue.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/Queue.scala
rename to src/test/resources/regression/termination/valid/Queue.scala
diff --git a/src/regression/resources/regression/termination/valid/QuickSort.scala b/src/test/resources/regression/termination/valid/QuickSort.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/QuickSort.scala
rename to src/test/resources/regression/termination/valid/QuickSort.scala
diff --git a/src/regression/resources/regression/termination/valid/RedBlackTree.scala b/src/test/resources/regression/termination/valid/RedBlackTree.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/RedBlackTree.scala
rename to src/test/resources/regression/termination/valid/RedBlackTree.scala
diff --git a/src/regression/resources/regression/termination/valid/SimpInterpret.scala b/src/test/resources/regression/termination/valid/SimpInterpret.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/SimpInterpret.scala
rename to src/test/resources/regression/termination/valid/SimpInterpret.scala
diff --git a/src/regression/resources/regression/termination/valid/Termination_passing1.scala b/src/test/resources/regression/termination/valid/Termination_passing1.scala
similarity index 100%
rename from src/regression/resources/regression/termination/valid/Termination_passing1.scala
rename to src/test/resources/regression/termination/valid/Termination_passing1.scala
diff --git a/src/regression/resources/regression/testcases b/src/test/resources/regression/testcases
similarity index 100%
rename from src/regression/resources/regression/testcases
rename to src/test/resources/regression/testcases
diff --git a/src/regression/resources/regression/transformations/SimplifyLets.scala b/src/test/resources/regression/transformations/SimplifyLets.scala
similarity index 100%
rename from src/regression/resources/regression/transformations/SimplifyLets.scala
rename to src/test/resources/regression/transformations/SimplifyLets.scala
diff --git a/src/regression/resources/regression/transformations/SimplifyPaths.scala b/src/test/resources/regression/transformations/SimplifyPaths.scala
similarity index 100%
rename from src/regression/resources/regression/transformations/SimplifyPaths.scala
rename to src/test/resources/regression/transformations/SimplifyPaths.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Acc.scala b/src/test/resources/regression/verification/newsolvers/invalid/Acc.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Acc.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Acc.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/AddingNegativeNumbers.scala b/src/test/resources/regression/verification/newsolvers/invalid/AddingNegativeNumbers.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/AddingNegativeNumbers.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/AddingNegativeNumbers.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/AddingPositiveNumbers.scala b/src/test/resources/regression/verification/newsolvers/invalid/AddingPositiveNumbers.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/AddingPositiveNumbers.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/AddingPositiveNumbers.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Array1.scala b/src/test/resources/regression/verification/newsolvers/invalid/Array1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Array1.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Array1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Array2.scala b/src/test/resources/regression/verification/newsolvers/invalid/Array2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Array2.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Array2.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Array3.scala b/src/test/resources/regression/verification/newsolvers/invalid/Array3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Array3.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Array3.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Array4.scala b/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Array4.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Array4.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Asserts1.scala b/src/test/resources/regression/verification/newsolvers/invalid/Asserts1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Asserts1.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Asserts1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/BVDivision.scala b/src/test/resources/regression/verification/newsolvers/invalid/BVDivision.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/BVDivision.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/BVDivision.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/BVDivision2.scala b/src/test/resources/regression/verification/newsolvers/invalid/BVDivision2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/BVDivision2.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/BVDivision2.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/BigArray.scala b/src/test/resources/regression/verification/newsolvers/invalid/BigArray.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/BigArray.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/BigArray.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Division.scala b/src/test/resources/regression/verification/newsolvers/invalid/Division.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Division.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Division.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/EnsuringBoolean.scala b/src/test/resources/regression/verification/newsolvers/invalid/EnsuringBoolean.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/EnsuringBoolean.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/EnsuringBoolean.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/FiniteSort.scala b/src/test/resources/regression/verification/newsolvers/invalid/FiniteSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/FiniteSort.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/FiniteSort.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Generics.scala b/src/test/resources/regression/verification/newsolvers/invalid/Generics.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Generics.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Generics.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Generics2.scala b/src/test/resources/regression/verification/newsolvers/invalid/Generics2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Generics2.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Generics2.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/InsertionSort.scala b/src/test/resources/regression/verification/newsolvers/invalid/InsertionSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/InsertionSort.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/InsertionSort.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/ListOperations.scala b/src/test/resources/regression/verification/newsolvers/invalid/ListOperations.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/ListOperations.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/ListOperations.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/MyTuple1.scala b/src/test/resources/regression/verification/newsolvers/invalid/MyTuple1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/MyTuple1.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/MyTuple1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/MyTuple2.scala b/src/test/resources/regression/verification/newsolvers/invalid/MyTuple2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/MyTuple2.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/MyTuple2.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/MyTuple3.scala b/src/test/resources/regression/verification/newsolvers/invalid/MyTuple3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/MyTuple3.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/MyTuple3.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/PositiveMap.scala b/src/test/resources/regression/verification/newsolvers/invalid/PositiveMap.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/PositiveMap.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/PositiveMap.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/PropositionalLogic.scala b/src/test/resources/regression/verification/newsolvers/invalid/PropositionalLogic.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/PropositionalLogic.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/PropositionalLogic.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/README b/src/test/resources/regression/verification/newsolvers/invalid/README
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/README
rename to src/test/resources/regression/verification/newsolvers/invalid/README
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/RedBlackTree.scala b/src/test/resources/regression/verification/newsolvers/invalid/RedBlackTree.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/RedBlackTree.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/RedBlackTree.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/invalid/Unit1.scala b/src/test/resources/regression/verification/newsolvers/invalid/Unit1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/invalid/Unit1.scala
rename to src/test/resources/regression/verification/newsolvers/invalid/Unit1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Acc.scala b/src/test/resources/regression/verification/newsolvers/valid/Acc.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Acc.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Acc.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/AddingPositiveNumbers.scala b/src/test/resources/regression/verification/newsolvers/valid/AddingPositiveNumbers.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/AddingPositiveNumbers.scala
rename to src/test/resources/regression/verification/newsolvers/valid/AddingPositiveNumbers.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/AmortizedQueue.scala b/src/test/resources/regression/verification/newsolvers/valid/AmortizedQueue.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/AmortizedQueue.scala
rename to src/test/resources/regression/verification/newsolvers/valid/AmortizedQueue.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/ArrayLiterals.scala b/src/test/resources/regression/verification/newsolvers/valid/ArrayLiterals.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/ArrayLiterals.scala
rename to src/test/resources/regression/verification/newsolvers/valid/ArrayLiterals.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/ArrayUpdated.scala b/src/test/resources/regression/verification/newsolvers/valid/ArrayUpdated.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/ArrayUpdated.scala
rename to src/test/resources/regression/verification/newsolvers/valid/ArrayUpdated.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Asserts1.scala b/src/test/resources/regression/verification/newsolvers/valid/Asserts1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Asserts1.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Asserts1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/AssociativeList.scala b/src/test/resources/regression/verification/newsolvers/valid/AssociativeList.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/AssociativeList.scala
rename to src/test/resources/regression/verification/newsolvers/valid/AssociativeList.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/BestRealTypes.scala b/src/test/resources/regression/verification/newsolvers/valid/BestRealTypes.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/BestRealTypes.scala
rename to src/test/resources/regression/verification/newsolvers/valid/BestRealTypes.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/BitsTricks.scala b/src/test/resources/regression/verification/newsolvers/valid/BitsTricks.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/BitsTricks.scala
rename to src/test/resources/regression/verification/newsolvers/valid/BitsTricks.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/CaseObject1.scala b/src/test/resources/regression/verification/newsolvers/valid/CaseObject1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/CaseObject1.scala
rename to src/test/resources/regression/verification/newsolvers/valid/CaseObject1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Field1.scala b/src/test/resources/regression/verification/newsolvers/valid/Field1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Field1.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Field1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Field2.scala b/src/test/resources/regression/verification/newsolvers/valid/Field2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Field2.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Field2.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/FiniteSort.scala b/src/test/resources/regression/verification/newsolvers/valid/FiniteSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/FiniteSort.scala
rename to src/test/resources/regression/verification/newsolvers/valid/FiniteSort.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/FoolProofAdder.scala b/src/test/resources/regression/verification/newsolvers/valid/FoolProofAdder.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/FoolProofAdder.scala
rename to src/test/resources/regression/verification/newsolvers/valid/FoolProofAdder.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Generics.scala b/src/test/resources/regression/verification/newsolvers/valid/Generics.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Generics.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Generics.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Generics1.scala b/src/test/resources/regression/verification/newsolvers/valid/Generics1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Generics1.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Generics1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Heaps.scala b/src/test/resources/regression/verification/newsolvers/valid/Heaps.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Heaps.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Heaps.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/InsertionSort.scala b/src/test/resources/regression/verification/newsolvers/valid/InsertionSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/InsertionSort.scala
rename to src/test/resources/regression/verification/newsolvers/valid/InsertionSort.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/InstanceOf1.scala b/src/test/resources/regression/verification/newsolvers/valid/InstanceOf1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/InstanceOf1.scala
rename to src/test/resources/regression/verification/newsolvers/valid/InstanceOf1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/ListOperations.scala b/src/test/resources/regression/verification/newsolvers/valid/ListOperations.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/ListOperations.scala
rename to src/test/resources/regression/verification/newsolvers/valid/ListOperations.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/LiteralMaps.scala b/src/test/resources/regression/verification/newsolvers/valid/LiteralMaps.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/LiteralMaps.scala
rename to src/test/resources/regression/verification/newsolvers/valid/LiteralMaps.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MergeSort.scala b/src/test/resources/regression/verification/newsolvers/valid/MergeSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MergeSort.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MergeSort.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MyMap.scala b/src/test/resources/regression/verification/newsolvers/valid/MyMap.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MyMap.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MyMap.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MySet.scala b/src/test/resources/regression/verification/newsolvers/valid/MySet.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MySet.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MySet.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MyTuple1.scala b/src/test/resources/regression/verification/newsolvers/valid/MyTuple1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MyTuple1.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MyTuple1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MyTuple2.scala b/src/test/resources/regression/verification/newsolvers/valid/MyTuple2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MyTuple2.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MyTuple2.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MyTuple3.scala b/src/test/resources/regression/verification/newsolvers/valid/MyTuple3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MyTuple3.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MyTuple3.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MyTuple4.scala b/src/test/resources/regression/verification/newsolvers/valid/MyTuple4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MyTuple4.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MyTuple4.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MyTuple5.scala b/src/test/resources/regression/verification/newsolvers/valid/MyTuple5.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MyTuple5.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MyTuple5.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/MyTuple6.scala b/src/test/resources/regression/verification/newsolvers/valid/MyTuple6.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/MyTuple6.scala
rename to src/test/resources/regression/verification/newsolvers/valid/MyTuple6.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Nat.scala b/src/test/resources/regression/verification/newsolvers/valid/Nat.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Nat.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Nat.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/NotEquals.scala b/src/test/resources/regression/verification/newsolvers/valid/NotEquals.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/NotEquals.scala
rename to src/test/resources/regression/verification/newsolvers/valid/NotEquals.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/PositiveMap.scala b/src/test/resources/regression/verification/newsolvers/valid/PositiveMap.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/PositiveMap.scala
rename to src/test/resources/regression/verification/newsolvers/valid/PositiveMap.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/PropositionalLogic.scala b/src/test/resources/regression/verification/newsolvers/valid/PropositionalLogic.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/PropositionalLogic.scala
rename to src/test/resources/regression/verification/newsolvers/valid/PropositionalLogic.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/README b/src/test/resources/regression/verification/newsolvers/valid/README
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/README
rename to src/test/resources/regression/verification/newsolvers/valid/README
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/RedBlackTree.scala b/src/test/resources/regression/verification/newsolvers/valid/RedBlackTree.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/RedBlackTree.scala
rename to src/test/resources/regression/verification/newsolvers/valid/RedBlackTree.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/SearchLinkedList.scala b/src/test/resources/regression/verification/newsolvers/valid/SearchLinkedList.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/SearchLinkedList.scala
rename to src/test/resources/regression/verification/newsolvers/valid/SearchLinkedList.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Subtyping1.scala b/src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Subtyping1.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Subtyping2.scala b/src/test/resources/regression/verification/newsolvers/valid/Subtyping2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Subtyping2.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Subtyping2.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Unit1.scala b/src/test/resources/regression/verification/newsolvers/valid/Unit1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Unit1.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Unit1.scala
diff --git a/src/regression/resources/regression/verification/newsolvers/valid/Unit2.scala b/src/test/resources/regression/verification/newsolvers/valid/Unit2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/newsolvers/valid/Unit2.scala
rename to src/test/resources/regression/verification/newsolvers/valid/Unit2.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Acc.scala b/src/test/resources/regression/verification/purescala/invalid/Acc.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Acc.scala
rename to src/test/resources/regression/verification/purescala/invalid/Acc.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/AddingNegativeNumbers.scala b/src/test/resources/regression/verification/purescala/invalid/AddingNegativeNumbers.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/AddingNegativeNumbers.scala
rename to src/test/resources/regression/verification/purescala/invalid/AddingNegativeNumbers.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/AddingPositiveNumbers.scala b/src/test/resources/regression/verification/purescala/invalid/AddingPositiveNumbers.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/AddingPositiveNumbers.scala
rename to src/test/resources/regression/verification/purescala/invalid/AddingPositiveNumbers.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Array1.scala b/src/test/resources/regression/verification/purescala/invalid/Array1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Array1.scala
rename to src/test/resources/regression/verification/purescala/invalid/Array1.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Array2.scala b/src/test/resources/regression/verification/purescala/invalid/Array2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Array2.scala
rename to src/test/resources/regression/verification/purescala/invalid/Array2.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Array3.scala b/src/test/resources/regression/verification/purescala/invalid/Array3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Array3.scala
rename to src/test/resources/regression/verification/purescala/invalid/Array3.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Array4.scala b/src/test/resources/regression/verification/purescala/invalid/Array4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Array4.scala
rename to src/test/resources/regression/verification/purescala/invalid/Array4.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Asserts1.scala b/src/test/resources/regression/verification/purescala/invalid/Asserts1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Asserts1.scala
rename to src/test/resources/regression/verification/purescala/invalid/Asserts1.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/BVDivision2.scala b/src/test/resources/regression/verification/purescala/invalid/BVDivision2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/BVDivision2.scala
rename to src/test/resources/regression/verification/purescala/invalid/BVDivision2.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/BVDivisionByZero.scala b/src/test/resources/regression/verification/purescala/invalid/BVDivisionByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/BVDivisionByZero.scala
rename to src/test/resources/regression/verification/purescala/invalid/BVDivisionByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/BVRemainderByZero.scala b/src/test/resources/regression/verification/purescala/invalid/BVRemainderByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/BVRemainderByZero.scala
rename to src/test/resources/regression/verification/purescala/invalid/BVRemainderByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/BigArray.scala b/src/test/resources/regression/verification/purescala/invalid/BigArray.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/BigArray.scala
rename to src/test/resources/regression/verification/purescala/invalid/BigArray.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/BraunTree.scala b/src/test/resources/regression/verification/purescala/invalid/BraunTree.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/BraunTree.scala
rename to src/test/resources/regression/verification/purescala/invalid/BraunTree.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/CharCompare.scala b/src/test/resources/regression/verification/purescala/invalid/CharCompare.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/CharCompare.scala
rename to src/test/resources/regression/verification/purescala/invalid/CharCompare.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Choose1.scala b/src/test/resources/regression/verification/purescala/invalid/Choose1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Choose1.scala
rename to src/test/resources/regression/verification/purescala/invalid/Choose1.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/DivisionByZero.scala b/src/test/resources/regression/verification/purescala/invalid/DivisionByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/DivisionByZero.scala
rename to src/test/resources/regression/verification/purescala/invalid/DivisionByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/EnsuringBoolean.scala b/src/test/resources/regression/verification/purescala/invalid/EnsuringBoolean.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/EnsuringBoolean.scala
rename to src/test/resources/regression/verification/purescala/invalid/EnsuringBoolean.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/FiniteSort.scala b/src/test/resources/regression/verification/purescala/invalid/FiniteSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/FiniteSort.scala
rename to src/test/resources/regression/verification/purescala/invalid/FiniteSort.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Generics.scala b/src/test/resources/regression/verification/purescala/invalid/Generics.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Generics.scala
rename to src/test/resources/regression/verification/purescala/invalid/Generics.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Generics2.scala b/src/test/resources/regression/verification/purescala/invalid/Generics2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Generics2.scala
rename to src/test/resources/regression/verification/purescala/invalid/Generics2.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/HOInvocations.scala b/src/test/resources/regression/verification/purescala/invalid/HOInvocations.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/HOInvocations.scala
rename to src/test/resources/regression/verification/purescala/invalid/HOInvocations.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/InsertionSort.scala b/src/test/resources/regression/verification/purescala/invalid/InsertionSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/InsertionSort.scala
rename to src/test/resources/regression/verification/purescala/invalid/InsertionSort.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/ListOperations.scala b/src/test/resources/regression/verification/purescala/invalid/ListOperations.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/ListOperations.scala
rename to src/test/resources/regression/verification/purescala/invalid/ListOperations.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Lists.scala b/src/test/resources/regression/verification/purescala/invalid/Lists.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Lists.scala
rename to src/test/resources/regression/verification/purescala/invalid/Lists.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/MatchExh.scala b/src/test/resources/regression/verification/purescala/invalid/MatchExh.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/MatchExh.scala
rename to src/test/resources/regression/verification/purescala/invalid/MatchExh.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/ModuloByZero.scala b/src/test/resources/regression/verification/purescala/invalid/ModuloByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/ModuloByZero.scala
rename to src/test/resources/regression/verification/purescala/invalid/ModuloByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/MyTuple1.scala b/src/test/resources/regression/verification/purescala/invalid/MyTuple1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/MyTuple1.scala
rename to src/test/resources/regression/verification/purescala/invalid/MyTuple1.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/MyTuple2.scala b/src/test/resources/regression/verification/purescala/invalid/MyTuple2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/MyTuple2.scala
rename to src/test/resources/regression/verification/purescala/invalid/MyTuple2.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/MyTuple3.scala b/src/test/resources/regression/verification/purescala/invalid/MyTuple3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/MyTuple3.scala
rename to src/test/resources/regression/verification/purescala/invalid/MyTuple3.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Overrides.scala b/src/test/resources/regression/verification/purescala/invalid/Overrides.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Overrides.scala
rename to src/test/resources/regression/verification/purescala/invalid/Overrides.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/PositiveMap.scala b/src/test/resources/regression/verification/purescala/invalid/PositiveMap.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/PositiveMap.scala
rename to src/test/resources/regression/verification/purescala/invalid/PositiveMap.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/PropositionalLogic.scala b/src/test/resources/regression/verification/purescala/invalid/PropositionalLogic.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/PropositionalLogic.scala
rename to src/test/resources/regression/verification/purescala/invalid/PropositionalLogic.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/README b/src/test/resources/regression/verification/purescala/invalid/README
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/README
rename to src/test/resources/regression/verification/purescala/invalid/README
diff --git a/src/regression/resources/regression/verification/purescala/invalid/RealDivisionByZero.scala b/src/test/resources/regression/verification/purescala/invalid/RealDivisionByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/RealDivisionByZero.scala
rename to src/test/resources/regression/verification/purescala/invalid/RealDivisionByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/RealNonDiscrete.scala b/src/test/resources/regression/verification/purescala/invalid/RealNonDiscrete.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/RealNonDiscrete.scala
rename to src/test/resources/regression/verification/purescala/invalid/RealNonDiscrete.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/RedBlackTree.scala b/src/test/resources/regression/verification/purescala/invalid/RedBlackTree.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/RedBlackTree.scala
rename to src/test/resources/regression/verification/purescala/invalid/RedBlackTree.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/RemainderByZero.scala b/src/test/resources/regression/verification/purescala/invalid/RemainderByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/RemainderByZero.scala
rename to src/test/resources/regression/verification/purescala/invalid/RemainderByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Unapply1.scala b/src/test/resources/regression/verification/purescala/invalid/Unapply1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Unapply1.scala
rename to src/test/resources/regression/verification/purescala/invalid/Unapply1.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Unapply2.scala b/src/test/resources/regression/verification/purescala/invalid/Unapply2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Unapply2.scala
rename to src/test/resources/regression/verification/purescala/invalid/Unapply2.scala
diff --git a/src/regression/resources/regression/verification/purescala/invalid/Unit1.scala b/src/test/resources/regression/verification/purescala/invalid/Unit1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/invalid/Unit1.scala
rename to src/test/resources/regression/verification/purescala/invalid/Unit1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Acc.scala b/src/test/resources/regression/verification/purescala/valid/Acc.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Acc.scala
rename to src/test/resources/regression/verification/purescala/valid/Acc.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/AddingPositiveNumbers.scala b/src/test/resources/regression/verification/purescala/valid/AddingPositiveNumbers.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/AddingPositiveNumbers.scala
rename to src/test/resources/regression/verification/purescala/valid/AddingPositiveNumbers.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/AmortizedQueue.scala b/src/test/resources/regression/verification/purescala/valid/AmortizedQueue.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/AmortizedQueue.scala
rename to src/test/resources/regression/verification/purescala/valid/AmortizedQueue.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Anonymous.scala b/src/test/resources/regression/verification/purescala/valid/Anonymous.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Anonymous.scala
rename to src/test/resources/regression/verification/purescala/valid/Anonymous.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/ArrayLiterals.scala b/src/test/resources/regression/verification/purescala/valid/ArrayLiterals.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/ArrayLiterals.scala
rename to src/test/resources/regression/verification/purescala/valid/ArrayLiterals.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/ArrayUpdated.scala b/src/test/resources/regression/verification/purescala/valid/ArrayUpdated.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/ArrayUpdated.scala
rename to src/test/resources/regression/verification/purescala/valid/ArrayUpdated.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Asserts1.scala b/src/test/resources/regression/verification/purescala/valid/Asserts1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Asserts1.scala
rename to src/test/resources/regression/verification/purescala/valid/Asserts1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/AssociativeList.scala b/src/test/resources/regression/verification/purescala/valid/AssociativeList.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/AssociativeList.scala
rename to src/test/resources/regression/verification/purescala/valid/AssociativeList.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/BVDivSemantics.scala b/src/test/resources/regression/verification/purescala/valid/BVDivSemantics.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/BVDivSemantics.scala
rename to src/test/resources/regression/verification/purescala/valid/BVDivSemantics.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/BVDivisionByZero.scala b/src/test/resources/regression/verification/purescala/valid/BVDivisionByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/BVDivisionByZero.scala
rename to src/test/resources/regression/verification/purescala/valid/BVDivisionByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/BVDivisionByZero2.scala b/src/test/resources/regression/verification/purescala/valid/BVDivisionByZero2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/BVDivisionByZero2.scala
rename to src/test/resources/regression/verification/purescala/valid/BVDivisionByZero2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/BasicReal.scala b/src/test/resources/regression/verification/purescala/valid/BasicReal.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/BasicReal.scala
rename to src/test/resources/regression/verification/purescala/valid/BasicReal.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/BestRealTypes.scala b/src/test/resources/regression/verification/purescala/valid/BestRealTypes.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/BestRealTypes.scala
rename to src/test/resources/regression/verification/purescala/valid/BestRealTypes.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/BitsTricks.scala b/src/test/resources/regression/verification/purescala/valid/BitsTricks.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/BitsTricks.scala
rename to src/test/resources/regression/verification/purescala/valid/BitsTricks.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/CaseObject1.scala b/src/test/resources/regression/verification/purescala/valid/CaseObject1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/CaseObject1.scala
rename to src/test/resources/regression/verification/purescala/valid/CaseObject1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Choose1.scala b/src/test/resources/regression/verification/purescala/valid/Choose1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Choose1.scala
rename to src/test/resources/regression/verification/purescala/valid/Choose1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Closures.scala b/src/test/resources/regression/verification/purescala/valid/Closures.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Closures.scala
rename to src/test/resources/regression/verification/purescala/valid/Closures.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Closures2.scala b/src/test/resources/regression/verification/purescala/valid/Closures2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Closures2.scala
rename to src/test/resources/regression/verification/purescala/valid/Closures2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/DivisionByZero.scala b/src/test/resources/regression/verification/purescala/valid/DivisionByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/DivisionByZero.scala
rename to src/test/resources/regression/verification/purescala/valid/DivisionByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Extern1.scala b/src/test/resources/regression/verification/purescala/valid/Extern1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Extern1.scala
rename to src/test/resources/regression/verification/purescala/valid/Extern1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Extern2.scala b/src/test/resources/regression/verification/purescala/valid/Extern2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Extern2.scala
rename to src/test/resources/regression/verification/purescala/valid/Extern2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Field1.scala b/src/test/resources/regression/verification/purescala/valid/Field1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Field1.scala
rename to src/test/resources/regression/verification/purescala/valid/Field1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Field2.scala b/src/test/resources/regression/verification/purescala/valid/Field2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Field2.scala
rename to src/test/resources/regression/verification/purescala/valid/Field2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/FiniteSort.scala b/src/test/resources/regression/verification/purescala/valid/FiniteSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/FiniteSort.scala
rename to src/test/resources/regression/verification/purescala/valid/FiniteSort.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/FlatMap.scala b/src/test/resources/regression/verification/purescala/valid/FlatMap.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/FlatMap.scala
rename to src/test/resources/regression/verification/purescala/valid/FlatMap.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/FoldAssociative.scala b/src/test/resources/regression/verification/purescala/valid/FoldAssociative.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/FoldAssociative.scala
rename to src/test/resources/regression/verification/purescala/valid/FoldAssociative.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/FoolProofAdder.scala b/src/test/resources/regression/verification/purescala/valid/FoolProofAdder.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/FoolProofAdder.scala
rename to src/test/resources/regression/verification/purescala/valid/FoolProofAdder.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Generics.scala b/src/test/resources/regression/verification/purescala/valid/Generics.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Generics.scala
rename to src/test/resources/regression/verification/purescala/valid/Generics.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Generics1.scala b/src/test/resources/regression/verification/purescala/valid/Generics1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Generics1.scala
rename to src/test/resources/regression/verification/purescala/valid/Generics1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/HOInvocations.scala b/src/test/resources/regression/verification/purescala/valid/HOInvocations.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/HOInvocations.scala
rename to src/test/resources/regression/verification/purescala/valid/HOInvocations.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Heaps.scala b/src/test/resources/regression/verification/purescala/valid/Heaps.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Heaps.scala
rename to src/test/resources/regression/verification/purescala/valid/Heaps.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/InsertionSort.scala b/src/test/resources/regression/verification/purescala/valid/InsertionSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/InsertionSort.scala
rename to src/test/resources/regression/verification/purescala/valid/InsertionSort.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/InstanceOf1.scala b/src/test/resources/regression/verification/purescala/valid/InstanceOf1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/InstanceOf1.scala
rename to src/test/resources/regression/verification/purescala/valid/InstanceOf1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Justify.scala b/src/test/resources/regression/verification/purescala/valid/Justify.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Justify.scala
rename to src/test/resources/regression/verification/purescala/valid/Justify.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/LambdaEquality.scala b/src/test/resources/regression/verification/purescala/valid/LambdaEquality.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/LambdaEquality.scala
rename to src/test/resources/regression/verification/purescala/valid/LambdaEquality.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Lambdas.scala b/src/test/resources/regression/verification/purescala/valid/Lambdas.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Lambdas.scala
rename to src/test/resources/regression/verification/purescala/valid/Lambdas.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/ListOperations.scala b/src/test/resources/regression/verification/purescala/valid/ListOperations.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/ListOperations.scala
rename to src/test/resources/regression/verification/purescala/valid/ListOperations.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Lists1.scala b/src/test/resources/regression/verification/purescala/valid/Lists1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Lists1.scala
rename to src/test/resources/regression/verification/purescala/valid/Lists1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Lists2.scala b/src/test/resources/regression/verification/purescala/valid/Lists2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Lists2.scala
rename to src/test/resources/regression/verification/purescala/valid/Lists2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Lists3.scala b/src/test/resources/regression/verification/purescala/valid/Lists3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Lists3.scala
rename to src/test/resources/regression/verification/purescala/valid/Lists3.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Lists4.scala b/src/test/resources/regression/verification/purescala/valid/Lists4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Lists4.scala
rename to src/test/resources/regression/verification/purescala/valid/Lists4.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Lists5.scala b/src/test/resources/regression/verification/purescala/valid/Lists5.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Lists5.scala
rename to src/test/resources/regression/verification/purescala/valid/Lists5.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Lists6.scala b/src/test/resources/regression/verification/purescala/valid/Lists6.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Lists6.scala
rename to src/test/resources/regression/verification/purescala/valid/Lists6.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/LiteralMaps.scala b/src/test/resources/regression/verification/purescala/valid/LiteralMaps.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/LiteralMaps.scala
rename to src/test/resources/regression/verification/purescala/valid/LiteralMaps.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MapGetOrElse2.scala b/src/test/resources/regression/verification/purescala/valid/MapGetOrElse2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MapGetOrElse2.scala
rename to src/test/resources/regression/verification/purescala/valid/MapGetOrElse2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MapGetPlus.scala b/src/test/resources/regression/verification/purescala/valid/MapGetPlus.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MapGetPlus.scala
rename to src/test/resources/regression/verification/purescala/valid/MapGetPlus.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MatchExh.scala b/src/test/resources/regression/verification/purescala/valid/MatchExh.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MatchExh.scala
rename to src/test/resources/regression/verification/purescala/valid/MatchExh.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MergeSort.scala b/src/test/resources/regression/verification/purescala/valid/MergeSort.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MergeSort.scala
rename to src/test/resources/regression/verification/purescala/valid/MergeSort.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Methods.scala b/src/test/resources/regression/verification/purescala/valid/Methods.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Methods.scala
rename to src/test/resources/regression/verification/purescala/valid/Methods.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Monads1.scala b/src/test/resources/regression/verification/purescala/valid/Monads1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Monads1.scala
rename to src/test/resources/regression/verification/purescala/valid/Monads1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Monads2.scala b/src/test/resources/regression/verification/purescala/valid/Monads2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Monads2.scala
rename to src/test/resources/regression/verification/purescala/valid/Monads2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Monads3.scala b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Monads3.scala
rename to src/test/resources/regression/verification/purescala/valid/Monads3.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MyMap.scala b/src/test/resources/regression/verification/purescala/valid/MyMap.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MyMap.scala
rename to src/test/resources/regression/verification/purescala/valid/MyMap.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MySet.scala b/src/test/resources/regression/verification/purescala/valid/MySet.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MySet.scala
rename to src/test/resources/regression/verification/purescala/valid/MySet.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MyTuple1.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MyTuple1.scala
rename to src/test/resources/regression/verification/purescala/valid/MyTuple1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MyTuple2.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MyTuple2.scala
rename to src/test/resources/regression/verification/purescala/valid/MyTuple2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MyTuple3.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MyTuple3.scala
rename to src/test/resources/regression/verification/purescala/valid/MyTuple3.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MyTuple4.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MyTuple4.scala
rename to src/test/resources/regression/verification/purescala/valid/MyTuple4.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MyTuple5.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple5.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MyTuple5.scala
rename to src/test/resources/regression/verification/purescala/valid/MyTuple5.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/MyTuple6.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple6.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/MyTuple6.scala
rename to src/test/resources/regression/verification/purescala/valid/MyTuple6.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Nat.scala b/src/test/resources/regression/verification/purescala/valid/Nat.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Nat.scala
rename to src/test/resources/regression/verification/purescala/valid/Nat.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/NotEquals.scala b/src/test/resources/regression/verification/purescala/valid/NotEquals.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/NotEquals.scala
rename to src/test/resources/regression/verification/purescala/valid/NotEquals.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Overrides.scala b/src/test/resources/regression/verification/purescala/valid/Overrides.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Overrides.scala
rename to src/test/resources/regression/verification/purescala/valid/Overrides.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/ParBalance.scala b/src/test/resources/regression/verification/purescala/valid/ParBalance.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/ParBalance.scala
rename to src/test/resources/regression/verification/purescala/valid/ParBalance.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/PositiveMap.scala b/src/test/resources/regression/verification/purescala/valid/PositiveMap.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/PositiveMap.scala
rename to src/test/resources/regression/verification/purescala/valid/PositiveMap.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/PropositionalLogic.scala b/src/test/resources/regression/verification/purescala/valid/PropositionalLogic.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/PropositionalLogic.scala
rename to src/test/resources/regression/verification/purescala/valid/PropositionalLogic.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/README b/src/test/resources/regression/verification/purescala/valid/README
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/README
rename to src/test/resources/regression/verification/purescala/valid/README
diff --git a/src/regression/resources/regression/verification/purescala/valid/RealDivisionByZero.scala b/src/test/resources/regression/verification/purescala/valid/RealDivisionByZero.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/RealDivisionByZero.scala
rename to src/test/resources/regression/verification/purescala/valid/RealDivisionByZero.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/RedBlackTree.scala b/src/test/resources/regression/verification/purescala/valid/RedBlackTree.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/RedBlackTree.scala
rename to src/test/resources/regression/verification/purescala/valid/RedBlackTree.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/SearchLinkedList.scala b/src/test/resources/regression/verification/purescala/valid/SearchLinkedList.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/SearchLinkedList.scala
rename to src/test/resources/regression/verification/purescala/valid/SearchLinkedList.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Sets1.scala b/src/test/resources/regression/verification/purescala/valid/Sets1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Sets1.scala
rename to src/test/resources/regression/verification/purescala/valid/Sets1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Sets2.scala b/src/test/resources/regression/verification/purescala/valid/Sets2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Sets2.scala
rename to src/test/resources/regression/verification/purescala/valid/Sets2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Subtyping1.scala b/src/test/resources/regression/verification/purescala/valid/Subtyping1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Subtyping1.scala
rename to src/test/resources/regression/verification/purescala/valid/Subtyping1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Subtyping2.scala b/src/test/resources/regression/verification/purescala/valid/Subtyping2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Subtyping2.scala
rename to src/test/resources/regression/verification/purescala/valid/Subtyping2.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Trees1.scala b/src/test/resources/regression/verification/purescala/valid/Trees1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Trees1.scala
rename to src/test/resources/regression/verification/purescala/valid/Trees1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Unapply.scala b/src/test/resources/regression/verification/purescala/valid/Unapply.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Unapply.scala
rename to src/test/resources/regression/verification/purescala/valid/Unapply.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Unit1.scala b/src/test/resources/regression/verification/purescala/valid/Unit1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Unit1.scala
rename to src/test/resources/regression/verification/purescala/valid/Unit1.scala
diff --git a/src/regression/resources/regression/verification/purescala/valid/Unit2.scala b/src/test/resources/regression/verification/purescala/valid/Unit2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/purescala/valid/Unit2.scala
rename to src/test/resources/regression/verification/purescala/valid/Unit2.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Array1.scala b/src/test/resources/regression/verification/xlang/invalid/Array1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Array1.scala
rename to src/test/resources/regression/verification/xlang/invalid/Array1.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Array2.scala b/src/test/resources/regression/verification/xlang/invalid/Array2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Array2.scala
rename to src/test/resources/regression/verification/xlang/invalid/Array2.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Array3.scala b/src/test/resources/regression/verification/xlang/invalid/Array3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Array3.scala
rename to src/test/resources/regression/verification/xlang/invalid/Array3.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Array4.scala b/src/test/resources/regression/verification/xlang/invalid/Array4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Array4.scala
rename to src/test/resources/regression/verification/xlang/invalid/Array4.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Array5.scala b/src/test/resources/regression/verification/xlang/invalid/Array5.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Array5.scala
rename to src/test/resources/regression/verification/xlang/invalid/Array5.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Array6.scala b/src/test/resources/regression/verification/xlang/invalid/Array6.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Array6.scala
rename to src/test/resources/regression/verification/xlang/invalid/Array6.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Asserts.scala b/src/test/resources/regression/verification/xlang/invalid/Asserts.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Asserts.scala
rename to src/test/resources/regression/verification/xlang/invalid/Asserts.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Epsilon1.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Epsilon1.scala
rename to src/test/resources/regression/verification/xlang/invalid/Epsilon1.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Epsilon2.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Epsilon2.scala
rename to src/test/resources/regression/verification/xlang/invalid/Epsilon2.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Epsilon3.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Epsilon3.scala
rename to src/test/resources/regression/verification/xlang/invalid/Epsilon3.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Epsilon4.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Epsilon4.scala
rename to src/test/resources/regression/verification/xlang/invalid/Epsilon4.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Epsilon5.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon5.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Epsilon5.scala
rename to src/test/resources/regression/verification/xlang/invalid/Epsilon5.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Epsilon6.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon6.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Epsilon6.scala
rename to src/test/resources/regression/verification/xlang/invalid/Epsilon6.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/IfExpr1.scala b/src/test/resources/regression/verification/xlang/invalid/IfExpr1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/IfExpr1.scala
rename to src/test/resources/regression/verification/xlang/invalid/IfExpr1.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/IfExpr2.scala b/src/test/resources/regression/verification/xlang/invalid/IfExpr2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/IfExpr2.scala
rename to src/test/resources/regression/verification/xlang/invalid/IfExpr2.scala
diff --git a/src/regression/resources/regression/verification/xlang/invalid/Mean.scala b/src/test/resources/regression/verification/xlang/invalid/Mean.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/invalid/Mean.scala
rename to src/test/resources/regression/verification/xlang/invalid/Mean.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Arithmetic.scala b/src/test/resources/regression/verification/xlang/valid/Arithmetic.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Arithmetic.scala
rename to src/test/resources/regression/verification/xlang/valid/Arithmetic.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array1.scala b/src/test/resources/regression/verification/xlang/valid/Array1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array1.scala
rename to src/test/resources/regression/verification/xlang/valid/Array1.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array2.scala b/src/test/resources/regression/verification/xlang/valid/Array2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array2.scala
rename to src/test/resources/regression/verification/xlang/valid/Array2.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array3.scala b/src/test/resources/regression/verification/xlang/valid/Array3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array3.scala
rename to src/test/resources/regression/verification/xlang/valid/Array3.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array4.scala b/src/test/resources/regression/verification/xlang/valid/Array4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array4.scala
rename to src/test/resources/regression/verification/xlang/valid/Array4.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array5.scala b/src/test/resources/regression/verification/xlang/valid/Array5.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array5.scala
rename to src/test/resources/regression/verification/xlang/valid/Array5.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array6.scala b/src/test/resources/regression/verification/xlang/valid/Array6.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array6.scala
rename to src/test/resources/regression/verification/xlang/valid/Array6.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array7.scala b/src/test/resources/regression/verification/xlang/valid/Array7.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array7.scala
rename to src/test/resources/regression/verification/xlang/valid/Array7.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array8.scala b/src/test/resources/regression/verification/xlang/valid/Array8.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array8.scala
rename to src/test/resources/regression/verification/xlang/valid/Array8.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Array9.scala b/src/test/resources/regression/verification/xlang/valid/Array9.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Array9.scala
rename to src/test/resources/regression/verification/xlang/valid/Array9.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Assign1.scala b/src/test/resources/regression/verification/xlang/valid/Assign1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Assign1.scala
rename to src/test/resources/regression/verification/xlang/valid/Assign1.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Choose1.scala b/src/test/resources/regression/verification/xlang/valid/Choose1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Choose1.scala
rename to src/test/resources/regression/verification/xlang/valid/Choose1.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Epsilon1.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Epsilon1.scala
rename to src/test/resources/regression/verification/xlang/valid/Epsilon1.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Epsilon2.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Epsilon2.scala
rename to src/test/resources/regression/verification/xlang/valid/Epsilon2.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Epsilon3.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Epsilon3.scala
rename to src/test/resources/regression/verification/xlang/valid/Epsilon3.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Epsilon4.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Epsilon4.scala
rename to src/test/resources/regression/verification/xlang/valid/Epsilon4.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Epsilon5.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon5.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Epsilon5.scala
rename to src/test/resources/regression/verification/xlang/valid/Epsilon5.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/IfExpr1.scala b/src/test/resources/regression/verification/xlang/valid/IfExpr1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/IfExpr1.scala
rename to src/test/resources/regression/verification/xlang/valid/IfExpr1.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/IfExpr2.scala b/src/test/resources/regression/verification/xlang/valid/IfExpr2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/IfExpr2.scala
rename to src/test/resources/regression/verification/xlang/valid/IfExpr2.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/IfExpr3.scala b/src/test/resources/regression/verification/xlang/valid/IfExpr3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/IfExpr3.scala
rename to src/test/resources/regression/verification/xlang/valid/IfExpr3.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/IfExpr4.scala b/src/test/resources/regression/verification/xlang/valid/IfExpr4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/IfExpr4.scala
rename to src/test/resources/regression/verification/xlang/valid/IfExpr4.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Mean.scala b/src/test/resources/regression/verification/xlang/valid/Mean.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Mean.scala
rename to src/test/resources/regression/verification/xlang/valid/Mean.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested1.scala b/src/test/resources/regression/verification/xlang/valid/Nested1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested1.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested1.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested10.scala b/src/test/resources/regression/verification/xlang/valid/Nested10.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested10.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested10.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested11.scala b/src/test/resources/regression/verification/xlang/valid/Nested11.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested11.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested11.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested12.scala b/src/test/resources/regression/verification/xlang/valid/Nested12.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested12.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested12.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested13.scala b/src/test/resources/regression/verification/xlang/valid/Nested13.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested13.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested13.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested14.scala b/src/test/resources/regression/verification/xlang/valid/Nested14.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested14.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested14.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested2.scala b/src/test/resources/regression/verification/xlang/valid/Nested2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested2.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested2.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested3.scala b/src/test/resources/regression/verification/xlang/valid/Nested3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested3.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested3.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested4.scala b/src/test/resources/regression/verification/xlang/valid/Nested4.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested4.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested4.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested5.scala b/src/test/resources/regression/verification/xlang/valid/Nested5.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested5.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested5.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested6.scala b/src/test/resources/regression/verification/xlang/valid/Nested6.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested6.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested6.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested7.scala b/src/test/resources/regression/verification/xlang/valid/Nested7.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested7.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested7.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested8.scala b/src/test/resources/regression/verification/xlang/valid/Nested8.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested8.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested8.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/Nested9.scala b/src/test/resources/regression/verification/xlang/valid/Nested9.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/Nested9.scala
rename to src/test/resources/regression/verification/xlang/valid/Nested9.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/NestedVar.scala b/src/test/resources/regression/verification/xlang/valid/NestedVar.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/NestedVar.scala
rename to src/test/resources/regression/verification/xlang/valid/NestedVar.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/ShortCircuit.scala b/src/test/resources/regression/verification/xlang/valid/ShortCircuit.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/ShortCircuit.scala
rename to src/test/resources/regression/verification/xlang/valid/ShortCircuit.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/While1.scala b/src/test/resources/regression/verification/xlang/valid/While1.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/While1.scala
rename to src/test/resources/regression/verification/xlang/valid/While1.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/While2.scala b/src/test/resources/regression/verification/xlang/valid/While2.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/While2.scala
rename to src/test/resources/regression/verification/xlang/valid/While2.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/While3.scala b/src/test/resources/regression/verification/xlang/valid/While3.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/While3.scala
rename to src/test/resources/regression/verification/xlang/valid/While3.scala
diff --git a/src/regression/resources/regression/verification/xlang/valid/WhileConditionSubexpression.scala b/src/test/resources/regression/verification/xlang/valid/WhileConditionSubexpression.scala
similarity index 100%
rename from src/regression/resources/regression/verification/xlang/valid/WhileConditionSubexpression.scala
rename to src/test/resources/regression/verification/xlang/valid/WhileConditionSubexpression.scala
diff --git a/src/integration/scala/leon/integration/evaluators/CodegenEvaluatorSuite.scala b/src/test/scala/leon/integration/evaluators/CodegenEvaluatorSuite.scala
similarity index 99%
rename from src/integration/scala/leon/integration/evaluators/CodegenEvaluatorSuite.scala
rename to src/test/scala/leon/integration/evaluators/CodegenEvaluatorSuite.scala
index 29f4a78a8..cfda6e0ce 100644
--- a/src/integration/scala/leon/integration/evaluators/CodegenEvaluatorSuite.scala
+++ b/src/test/scala/leon/integration/evaluators/CodegenEvaluatorSuite.scala
@@ -2,8 +2,8 @@
 
 package leon.integration.evaluators
 
+import leon.test._
 import leon.evaluators._
-import leon.integration.LeonTestSuiteWithProgram
 
 import leon.purescala.Common._
 import leon.purescala.Definitions._
diff --git a/src/integration/scala/leon/integration/evaluators/EvaluatorSuite.scala b/src/test/scala/leon/integration/evaluators/EvaluatorSuite.scala
similarity index 99%
rename from src/integration/scala/leon/integration/evaluators/EvaluatorSuite.scala
rename to src/test/scala/leon/integration/evaluators/EvaluatorSuite.scala
index 6465d764a..6eaf48138 100644
--- a/src/integration/scala/leon/integration/evaluators/EvaluatorSuite.scala
+++ b/src/test/scala/leon/integration/evaluators/EvaluatorSuite.scala
@@ -3,9 +3,8 @@
 package leon.integration.evaluators
 
 import leon._
-import leon.integration.LeonTestSuiteWithProgram
-import leon.integration.helpers.ExpressionsDSL
 import leon.test._
+import leon.test.helpers._
 import leon.evaluators._
 
 import leon.utils.{TemporaryInputPhase, PreprocessingPhase}
diff --git a/src/integration/scala/leon/integration/purescala/DataGenSuite.scala b/src/test/scala/leon/integration/purescala/DataGenSuite.scala
similarity index 94%
rename from src/integration/scala/leon/integration/purescala/DataGenSuite.scala
rename to src/test/scala/leon/integration/purescala/DataGenSuite.scala
index bb9fe8fe9..3a2eaf24f 100644
--- a/src/integration/scala/leon/integration/purescala/DataGenSuite.scala
+++ b/src/test/scala/leon/integration/purescala/DataGenSuite.scala
@@ -2,8 +2,6 @@
 
 package leon.integration.purescala
 
-import leon.integration.LeonTestSuiteWithProgram
-import leon.integration.helpers.ExpressionsDSL
 import leon.test._
 import leon.utils.{TemporaryInputPhase, PreprocessingPhase}
 import leon.frontends.scalac.ExtractionPhase
@@ -16,7 +14,7 @@ import leon.datagen._
 
 import leon.evaluators._
 
-class DataGenSuite extends LeonTestSuiteWithProgram with ExpressionsDSL {
+class DataGenSuite extends LeonTestSuiteWithProgram with helpers.ExpressionsDSL {
   val sources = List(
     """|import leon.lang._
        |object Program {
diff --git a/src/integration/scala/leon/integration/purescala/DefOpsSuite.scala b/src/test/scala/leon/integration/purescala/DefOpsSuite.scala
similarity index 98%
rename from src/integration/scala/leon/integration/purescala/DefOpsSuite.scala
rename to src/test/scala/leon/integration/purescala/DefOpsSuite.scala
index b477d07ac..3df239fb1 100644
--- a/src/integration/scala/leon/integration/purescala/DefOpsSuite.scala
+++ b/src/test/scala/leon/integration/purescala/DefOpsSuite.scala
@@ -2,7 +2,6 @@
 
 package leon.integration.purescala
 
-import leon.integration.LeonTestSuiteWithProgram
 import leon.test._
 
 import leon._
diff --git a/src/integration/scala/leon/integration/purescala/ExprOpsSuite.scala b/src/test/scala/leon/integration/purescala/ExprOpsSuite.scala
similarity index 93%
rename from src/integration/scala/leon/integration/purescala/ExprOpsSuite.scala
rename to src/test/scala/leon/integration/purescala/ExprOpsSuite.scala
index abd4bf93d..3de0828b6 100644
--- a/src/integration/scala/leon/integration/purescala/ExprOpsSuite.scala
+++ b/src/test/scala/leon/integration/purescala/ExprOpsSuite.scala
@@ -2,8 +2,6 @@
 
 package leon.integration.purescala
 
-import leon.integration.LeonTestSuiteWithProgram
-import leon.integration.helpers.ExpressionsDSL
 import leon.test._
 
 import leon._
@@ -15,7 +13,7 @@ import leon.purescala.DefOps._
 import leon.purescala.Common._
 import leon.utils._
 
-class ExprOpsSuite extends LeonTestSuiteWithProgram with ExpressionsDSL {
+class ExprOpsSuite extends LeonTestSuiteWithProgram with helpers.ExpressionsDSL {
 
   val sources = List(
       """object Casts1 {
diff --git a/src/integration/scala/leon/integration/purescala/InliningSuite.scala b/src/test/scala/leon/integration/purescala/InliningSuite.scala
similarity index 86%
rename from src/integration/scala/leon/integration/purescala/InliningSuite.scala
rename to src/test/scala/leon/integration/purescala/InliningSuite.scala
index 4faeb0970..fbbc8765a 100644
--- a/src/integration/scala/leon/integration/purescala/InliningSuite.scala
+++ b/src/test/scala/leon/integration/purescala/InliningSuite.scala
@@ -2,12 +2,10 @@
 
 package leon.integration.purescala
 
-import leon.integration.LeonTestSuiteWithProgram
-import leon.integration.helpers.ExpressionsDSL
 import leon.test._
 import leon.purescala.Expressions._
 
-class InliningSuite extends LeonTestSuiteWithProgram with ExpressionsDSL {
+class InliningSuite extends LeonTestSuiteWithProgram with helpers.ExpressionsDSL {
   val sources = List(
     """|
        |import leon.lang._
diff --git a/src/integration/scala/leon/integration/purescala/SimplifyPathsSuite.scala b/src/test/scala/leon/integration/purescala/SimplifyPathsSuite.scala
similarity index 100%
rename from src/integration/scala/leon/integration/purescala/SimplifyPathsSuite.scala
rename to src/test/scala/leon/integration/purescala/SimplifyPathsSuite.scala
diff --git a/src/integration/scala/leon/integration/solvers/EnumerationSolverSuite.scala b/src/test/scala/leon/integration/solvers/EnumerationSolverSuite.scala
similarity index 100%
rename from src/integration/scala/leon/integration/solvers/EnumerationSolverSuite.scala
rename to src/test/scala/leon/integration/solvers/EnumerationSolverSuite.scala
diff --git a/src/integration/scala/leon/integration/solvers/FairZ3SolverTests.scala b/src/test/scala/leon/integration/solvers/FairZ3SolverTests.scala
similarity index 100%
rename from src/integration/scala/leon/integration/solvers/FairZ3SolverTests.scala
rename to src/test/scala/leon/integration/solvers/FairZ3SolverTests.scala
diff --git a/src/integration/scala/leon/integration/solvers/LeonSolverSuite.scala b/src/test/scala/leon/integration/solvers/LeonSolverSuite.scala
similarity index 98%
rename from src/integration/scala/leon/integration/solvers/LeonSolverSuite.scala
rename to src/test/scala/leon/integration/solvers/LeonSolverSuite.scala
index 6344fc937..6c2064f95 100644
--- a/src/integration/scala/leon/integration/solvers/LeonSolverSuite.scala
+++ b/src/test/scala/leon/integration/solvers/LeonSolverSuite.scala
@@ -1,6 +1,5 @@
 package leon.integration.solvers
 
-import leon.integration.LeonTestSuiteWithProgram
 import leon.test._
 import leon.purescala.Common._
 import leon.purescala.Definitions._
diff --git a/src/integration/scala/leon/integration/solvers/ModelEnumerationSuite.scala b/src/test/scala/leon/integration/solvers/ModelEnumerationSuite.scala
similarity index 98%
rename from src/integration/scala/leon/integration/solvers/ModelEnumerationSuite.scala
rename to src/test/scala/leon/integration/solvers/ModelEnumerationSuite.scala
index eccec9b24..9a23fd600 100644
--- a/src/integration/scala/leon/integration/solvers/ModelEnumerationSuite.scala
+++ b/src/test/scala/leon/integration/solvers/ModelEnumerationSuite.scala
@@ -2,9 +2,8 @@
 
 package leon.integration.solvers
 
-import leon.integration.LeonTestSuiteWithProgram
-import leon.integration.helpers.ExpressionsDSL
 import leon.test._
+import leon.test.helpers._
 import leon._
 import leon.solvers._
 import leon.utils._
diff --git a/src/integration/scala/leon/integration/solvers/TimeoutSolverSuite.scala b/src/test/scala/leon/integration/solvers/TimeoutSolverSuite.scala
similarity index 100%
rename from src/integration/scala/leon/integration/solvers/TimeoutSolverSuite.scala
rename to src/test/scala/leon/integration/solvers/TimeoutSolverSuite.scala
diff --git a/src/integration/scala/leon/integration/solvers/UnrollingSolverSuite.scala b/src/test/scala/leon/integration/solvers/UnrollingSolverSuite.scala
similarity index 100%
rename from src/integration/scala/leon/integration/solvers/UnrollingSolverSuite.scala
rename to src/test/scala/leon/integration/solvers/UnrollingSolverSuite.scala
diff --git a/src/regression/scala/leon/regression/frontends/FrontEndsSuite.scala b/src/test/scala/leon/regression/frontends/FrontEndsSuite.scala
similarity index 94%
rename from src/regression/scala/leon/regression/frontends/FrontEndsSuite.scala
rename to src/test/scala/leon/regression/frontends/FrontEndsSuite.scala
index 1662e0eb6..dbff76a45 100644
--- a/src/regression/scala/leon/regression/frontends/FrontEndsSuite.scala
+++ b/src/test/scala/leon/regression/frontends/FrontEndsSuite.scala
@@ -3,11 +3,11 @@
 package leon.regression.frontends
 
 import leon._
-import leon.regression.LeonTestSuite
+import leon.test._
 import purescala.Definitions.Program
 import java.io.File
 
-class FrontEndsSuite extends LeonTestSuite {
+class FrontEndsSuite extends LeonRegressionSuite {
   // Hard-code output directory, for Eclipse purposes
 
   val pipeFront = frontends.scalac.ExtractionPhase andThen utils.PreprocessingPhase
diff --git a/src/regression/scala/leon/regression/repair/RepairSuite.scala b/src/test/scala/leon/regression/repair/RepairSuite.scala
similarity index 92%
rename from src/regression/scala/leon/regression/repair/RepairSuite.scala
rename to src/test/scala/leon/regression/repair/RepairSuite.scala
index 1b5bd1012..f0d5f4ea2 100644
--- a/src/regression/scala/leon/regression/repair/RepairSuite.scala
+++ b/src/test/scala/leon/regression/repair/RepairSuite.scala
@@ -1,15 +1,14 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.regression
-package repair
+package leon.regression.repair
 
-import leon.test._
 import leon._
+import leon.test._
 import leon.utils._
 import leon.frontends.scalac.ExtractionPhase
 import leon.repair._
 
-class RepairSuite extends regression.LeonTestSuite {
+class RepairSuite extends LeonRegressionSuite {
   val pipeline = ExtractionPhase andThen 
     PreprocessingPhase andThen
     RepairPhase
diff --git a/src/regression/scala/leon/regression/synthesis/StablePrintingSuite.scala b/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala
similarity index 97%
rename from src/regression/scala/leon/regression/synthesis/StablePrintingSuite.scala
rename to src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala
index 405500dc6..99f8bcfa8 100644
--- a/src/regression/scala/leon/regression/synthesis/StablePrintingSuite.scala
+++ b/src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala
@@ -1,9 +1,10 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.regression
-package synthesis
+package leon.regression.synthesis
 
 import leon._
+import leon.test._
+
 import leon.purescala.Definitions._
 import leon.purescala.ScalaPrinter
 import leon.purescala.PrinterContext
@@ -15,7 +16,7 @@ import scala.io.Source
 
 import java.io.File
 
-class StablePrintingSuite extends regression.LeonTestSuite {
+class StablePrintingSuite extends LeonRegressionSuite {
   private def forEachFileIn(path : String)(block : File => Unit) {
     val fs = filesInResourceDir(path, _.endsWith(".scala"))
 
diff --git a/src/regression/scala/leon/regression/synthesis/SynthesisRegressionSuite.scala b/src/test/scala/leon/regression/synthesis/SynthesisRegressionSuite.scala
similarity index 96%
rename from src/regression/scala/leon/regression/synthesis/SynthesisRegressionSuite.scala
rename to src/test/scala/leon/regression/synthesis/SynthesisRegressionSuite.scala
index 590f5d7a9..471ea9ee2 100644
--- a/src/regression/scala/leon/regression/synthesis/SynthesisRegressionSuite.scala
+++ b/src/test/scala/leon/regression/synthesis/SynthesisRegressionSuite.scala
@@ -10,7 +10,7 @@ import leon.synthesis._
 
 import java.io.File
 
-class SynthesisRegressionSuite extends regression.LeonTestSuite {
+class SynthesisRegressionSuite extends LeonRegressionSuite {
   private def forEachFileIn(path : String)(block : File => Unit) {
     val fs = filesInResourceDir(path, _.endsWith(".scala"))
 
diff --git a/src/regression/scala/leon/regression/synthesis/SynthesisSuite.scala b/src/test/scala/leon/regression/synthesis/SynthesisSuite.scala
similarity index 99%
rename from src/regression/scala/leon/regression/synthesis/SynthesisSuite.scala
rename to src/test/scala/leon/regression/synthesis/SynthesisSuite.scala
index b07134325..76497ccf2 100644
--- a/src/regression/scala/leon/regression/synthesis/SynthesisSuite.scala
+++ b/src/test/scala/leon/regression/synthesis/SynthesisSuite.scala
@@ -9,7 +9,7 @@ import leon.synthesis.graph._
 import leon.synthesis.utils._
 import leon.utils.PreprocessingPhase
 
-class SynthesisSuite extends regression.LeonTestSuite {
+class SynthesisSuite extends LeonRegressionSuite {
   private var counter : Int = 0
   private def nextInt() : Int = {
     counter += 1
diff --git a/src/regression/scala/leon/regression/termination/TerminationSuite.scala b/src/test/scala/leon/regression/termination/TerminationSuite.scala
similarity index 98%
rename from src/regression/scala/leon/regression/termination/TerminationSuite.scala
rename to src/test/scala/leon/regression/termination/TerminationSuite.scala
index 7adffa0b1..423526c09 100644
--- a/src/regression/scala/leon/regression/termination/TerminationSuite.scala
+++ b/src/test/scala/leon/regression/termination/TerminationSuite.scala
@@ -9,7 +9,7 @@ import leon.termination._
 
 import java.io.File
 
-class TerminationSuite extends regression.LeonTestSuite {
+class TerminationSuite extends LeonRegressionSuite {
   private var counter : Int = 0
   private def nextInt() : Int = {
     counter += 1
diff --git a/src/regression/scala/leon/regression/testcases/TestCasesCompile.scala b/src/test/scala/leon/regression/testcases/TestCasesCompile.scala
similarity index 93%
rename from src/regression/scala/leon/regression/testcases/TestCasesCompile.scala
rename to src/test/scala/leon/regression/testcases/TestCasesCompile.scala
index 2064eb4b2..476909e26 100644
--- a/src/regression/scala/leon/regression/testcases/TestCasesCompile.scala
+++ b/src/test/scala/leon/regression/testcases/TestCasesCompile.scala
@@ -3,12 +3,12 @@
 package leon.regression.testcases
 
 import leon._
-import leon.regression.LeonTestSuite
+import leon.test._
 import org.scalatest.time.SpanSugar._
 import java.io.File
 import org.scalatest.ParallelTestExecution
 
-class TestCasesCompile extends LeonTestSuite {
+class TestCasesCompile extends LeonRegressionSuite {
   val pipeline = frontends.scalac.ExtractionPhase andThen utils.PreprocessingPhase
 
   private def filesIn(path : String): Seq[File] = {
diff --git a/src/regression/scala/leon/regression/verification/LibraryVerificationSuite.scala b/src/test/scala/leon/regression/verification/LibraryVerificationSuite.scala
similarity index 84%
rename from src/regression/scala/leon/regression/verification/LibraryVerificationSuite.scala
rename to src/test/scala/leon/regression/verification/LibraryVerificationSuite.scala
index ca3e20ca8..5f3e4a1db 100644
--- a/src/regression/scala/leon/regression/verification/LibraryVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/LibraryVerificationSuite.scala
@@ -1,14 +1,14 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.regression
-package verification
+package leon.regression.verification
 
 import leon._
+import leon.test._
 import leon.frontends.scalac.ExtractionPhase
 import leon.utils.PreprocessingPhase
 import leon.verification.AnalysisPhase
 
-class LibraryVerificationSuite extends regression.LeonTestSuite {
+class LibraryVerificationSuite extends LeonRegressionSuite {
   test("Verify the library") {
       val pipeline = ExtractionPhase    andThen
                      PreprocessingPhase andThen
diff --git a/src/regression/scala/leon/regression/verification/NewSolversSuite.scala b/src/test/scala/leon/regression/verification/NewSolversSuite.scala
similarity index 100%
rename from src/regression/scala/leon/regression/verification/NewSolversSuite.scala
rename to src/test/scala/leon/regression/verification/NewSolversSuite.scala
diff --git a/src/regression/scala/leon/regression/verification/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/PureScalaVerificationSuite.scala
similarity index 100%
rename from src/regression/scala/leon/regression/verification/PureScalaVerificationSuite.scala
rename to src/test/scala/leon/regression/verification/PureScalaVerificationSuite.scala
diff --git a/src/regression/scala/leon/regression/verification/VerificationSuite.scala b/src/test/scala/leon/regression/verification/VerificationSuite.scala
similarity index 96%
rename from src/regression/scala/leon/regression/verification/VerificationSuite.scala
rename to src/test/scala/leon/regression/verification/VerificationSuite.scala
index de6b01ea4..f8e78c78d 100644
--- a/src/regression/scala/leon/regression/verification/VerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/VerificationSuite.scala
@@ -1,9 +1,9 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.regression
-package verification
+package leon.regression.verification
 
 import leon._
+import leon.test._
 
 import leon.verification.VerificationReport
 import leon.purescala.Definitions.Program
@@ -14,7 +14,7 @@ import org.scalatest.{Reporter => TestReporter, _}
 
 // If you add another regression test, make sure it contains one object whose name matches the file name
 // This is because we compile all tests from each folder separately.
-trait VerificationSuite extends regression.LeonTestSuite {
+trait VerificationSuite extends LeonRegressionSuite {
 
   val optionVariants: List[List[String]]
   val testDir: String
diff --git a/src/regression/scala/leon/regression/verification/XLangVerificationSuite.scala b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
similarity index 97%
rename from src/regression/scala/leon/regression/verification/XLangVerificationSuite.scala
rename to src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
index 64c7a1161..b07c9b5e0 100644
--- a/src/regression/scala/leon/regression/verification/XLangVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
@@ -14,7 +14,7 @@ import _root_.smtlib.interpreters._
 
 import java.io.File
 
-class XLangVerificationSuite extends regression.LeonTestSuite {
+class XLangVerificationSuite extends LeonRegressionSuite {
   private var counter : Int = 0
   private def nextInt() : Int = {
     counter += 1
diff --git a/src/regression/scala/leon/regression/LeonTestSuite.scala b/src/test/scala/leon/test/LeonRegressionSuite.scala
similarity index 96%
rename from src/regression/scala/leon/regression/LeonTestSuite.scala
rename to src/test/scala/leon/test/LeonRegressionSuite.scala
index d7cea9415..78c56589b 100644
--- a/src/regression/scala/leon/regression/LeonTestSuite.scala
+++ b/src/test/scala/leon/test/LeonRegressionSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.regression
+package leon.test
 
 import leon._
 import leon.utils._
@@ -14,7 +14,7 @@ import org.scalatest.exceptions.TestFailedException
 
 import java.io.File
 
-trait LeonTestSuite extends FunSuite with Timeouts with BeforeAndAfterEach {
+trait LeonRegressionSuite extends FunSuite with Timeouts with BeforeAndAfterEach {
   // Hard-code resource directory, for Eclipse purposes
   val resourceDirHard = "src/test/resources/"
 
diff --git a/src/integration/scala/leon/integration/LeonTestSuiteWithProgram.scala b/src/test/scala/leon/test/LeonTestSuiteWithProgram.scala
similarity index 98%
rename from src/integration/scala/leon/integration/LeonTestSuiteWithProgram.scala
rename to src/test/scala/leon/test/LeonTestSuiteWithProgram.scala
index 27c29f038..17d65364d 100644
--- a/src/integration/scala/leon/integration/LeonTestSuiteWithProgram.scala
+++ b/src/test/scala/leon/test/LeonTestSuiteWithProgram.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.integration
+package leon.test
 
 import leon._
 import leon.purescala.Definitions.Program
diff --git a/src/test/scala/leon/test/TestSilentReporter.scala b/src/test/scala/leon/test/TestSilentReporter.scala
index a303d35a9..2cf9ea4f7 100644
--- a/src/test/scala/leon/test/TestSilentReporter.scala
+++ b/src/test/scala/leon/test/TestSilentReporter.scala
@@ -1,6 +1,7 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
 package leon.test
+
 import leon.DefaultReporter
 
 class TestSilentReporter extends DefaultReporter(Set()) {
diff --git a/src/test/scala/leon/test/helpers/WithLikelyEq.scala b/src/test/scala/leon/test/helpers/WithLikelyEq.scala
index c998591f5..aee9e7671 100644
--- a/src/test/scala/leon/test/helpers/WithLikelyEq.scala
+++ b/src/test/scala/leon/test/helpers/WithLikelyEq.scala
@@ -38,9 +38,7 @@ trait WithLikelyEq {
       val r1 = evaluator.eval(e1)
       val r2 = evaluator.eval(e2)
 
-      if (r1 != r2) {
-        fail(s"'${e1.asString(ctx)}' != '${e2.asString(ctx)}' ('$r1' != '$r2')")
-      }
+      assert(r1 === r2, s"'$e1' != '$e2' ('$r1' != '$r2')")
     } else {
 
       val allValues = freeVars.map(id => values.get(id).map(Seq(_)).getOrElse(typesValues(id.getType)))
@@ -59,9 +57,7 @@ trait WithLikelyEq {
           val r1 = evaluator.eval(e1, m)
           val r2 = evaluator.eval(e2, m)
 
-          if (r1 != r2) {
-            fail(s"'${e1.asString(ctx)}' != '${e2.asString(ctx)}' with '$m' ('$r1' != '$r2')")
-          }
+          assert(r1 === r2, s"'$e1' != '$e2' with '$m' ('$r1' != '$r2')")
         }
       }
     }
diff --git a/src/test/scala/leon/test/evaluators/EvaluatorSuite.scala b/src/test/scala/leon/unit/evaluators/EvaluatorSuite.scala
similarity index 99%
rename from src/test/scala/leon/test/evaluators/EvaluatorSuite.scala
rename to src/test/scala/leon/unit/evaluators/EvaluatorSuite.scala
index ffbd82e9b..a18a0dca2 100644
--- a/src/test/scala/leon/test/evaluators/EvaluatorSuite.scala
+++ b/src/test/scala/leon/unit/evaluators/EvaluatorSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.allEvaluators
+package leon.unit.allEvaluators
 
 import leon._
 import leon.test._
diff --git a/src/test/scala/leon/test/purescala/ExprOpsSuite.scala b/src/test/scala/leon/unit/purescala/ExprOpsSuite.scala
similarity index 99%
rename from src/test/scala/leon/test/purescala/ExprOpsSuite.scala
rename to src/test/scala/leon/unit/purescala/ExprOpsSuite.scala
index de304264d..133f0e624 100644
--- a/src/test/scala/leon/test/purescala/ExprOpsSuite.scala
+++ b/src/test/scala/leon/unit/purescala/ExprOpsSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.purescala
+package leon.unit.purescala
 
 import leon.test._
 import leon.purescala.Common._
diff --git a/src/test/scala/leon/test/purescala/SimplifyLetsSuite.scala b/src/test/scala/leon/unit/purescala/SimplifyLetsSuite.scala
similarity index 98%
rename from src/test/scala/leon/test/purescala/SimplifyLetsSuite.scala
rename to src/test/scala/leon/unit/purescala/SimplifyLetsSuite.scala
index db5e12dee..2dd956cdd 100644
--- a/src/test/scala/leon/test/purescala/SimplifyLetsSuite.scala
+++ b/src/test/scala/leon/unit/purescala/SimplifyLetsSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.purescala
+package leon.unit.purescala
 
 import leon.test._
 
diff --git a/src/test/scala/leon/test/purescala/TreeNormalizationsSuite.scala b/src/test/scala/leon/unit/purescala/TreeNormalizationsSuite.scala
similarity index 98%
rename from src/test/scala/leon/test/purescala/TreeNormalizationsSuite.scala
rename to src/test/scala/leon/unit/purescala/TreeNormalizationsSuite.scala
index 08345e9b3..5337bc0c4 100644
--- a/src/test/scala/leon/test/purescala/TreeNormalizationsSuite.scala
+++ b/src/test/scala/leon/unit/purescala/TreeNormalizationsSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.purescala
+package leon.unit.purescala
 
 import leon.test._
 
diff --git a/src/test/scala/leon/test/purescala/TreeTestsSuite.scala b/src/test/scala/leon/unit/purescala/TreeTestsSuite.scala
similarity index 97%
rename from src/test/scala/leon/test/purescala/TreeTestsSuite.scala
rename to src/test/scala/leon/unit/purescala/TreeTestsSuite.scala
index 0692b3c8b..33552066e 100644
--- a/src/test/scala/leon/test/purescala/TreeTestsSuite.scala
+++ b/src/test/scala/leon/unit/purescala/TreeTestsSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.purescala
+package leon.unit.purescala
 
 import leon.test._
 
diff --git a/src/test/scala/leon/test/purescala/TypeOpsSuite.scala b/src/test/scala/leon/unit/purescala/TypeOpsSuite.scala
similarity index 99%
rename from src/test/scala/leon/test/purescala/TypeOpsSuite.scala
rename to src/test/scala/leon/unit/purescala/TypeOpsSuite.scala
index af9edfec0..5d8867550 100644
--- a/src/test/scala/leon/test/purescala/TypeOpsSuite.scala
+++ b/src/test/scala/leon/unit/purescala/TypeOpsSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.purescala
+package leon.unit.purescala
 
 import leon.test._
 import leon.purescala.Common._
diff --git a/src/test/scala/leon/test/solvers/SolverPoolSuite.scala b/src/test/scala/leon/unit/solvers/SolverPoolSuite.scala
similarity index 98%
rename from src/test/scala/leon/test/solvers/SolverPoolSuite.scala
rename to src/test/scala/leon/unit/solvers/SolverPoolSuite.scala
index b733ee193..f6d334454 100644
--- a/src/test/scala/leon/test/solvers/SolverPoolSuite.scala
+++ b/src/test/scala/leon/unit/solvers/SolverPoolSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.solvers
+package leon.unit.solvers
 
 import leon._
 import leon.test._
diff --git a/src/test/scala/leon/test/synthesis/AlgebraSuite.scala b/src/test/scala/leon/unit/synthesis/AlgebraSuite.scala
similarity index 99%
rename from src/test/scala/leon/test/synthesis/AlgebraSuite.scala
rename to src/test/scala/leon/unit/synthesis/AlgebraSuite.scala
index e1d13fc9b..c54b8dda4 100644
--- a/src/test/scala/leon/test/synthesis/AlgebraSuite.scala
+++ b/src/test/scala/leon/unit/synthesis/AlgebraSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.synthesis
+package leon.unit.synthesis
 import leon.test._
 
 import leon.synthesis.Algebra._
diff --git a/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala b/src/test/scala/leon/unit/synthesis/LinearEquationsSuite.scala
similarity index 99%
rename from src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
rename to src/test/scala/leon/unit/synthesis/LinearEquationsSuite.scala
index 62c2ac923..a754d837b 100644
--- a/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
+++ b/src/test/scala/leon/unit/synthesis/LinearEquationsSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.synthesis
+package leon.unit.synthesis
 import leon.test._
 
 import leon.LeonContext
diff --git a/src/test/scala/leon/test/utils/StreamsSuite.scala b/src/test/scala/leon/unit/utils/StreamsSuite.scala
similarity index 98%
rename from src/test/scala/leon/test/utils/StreamsSuite.scala
rename to src/test/scala/leon/unit/utils/StreamsSuite.scala
index 9d3b069bd..0dd732ada 100644
--- a/src/test/scala/leon/test/utils/StreamsSuite.scala
+++ b/src/test/scala/leon/unit/utils/StreamsSuite.scala
@@ -1,6 +1,6 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.utils
+package leon.unit.utils
 
 import leon.test._
 import leon.purescala.Common._
diff --git a/src/test/scala/leon/test/utils/UtilsSuite.scala b/src/test/scala/leon/unit/utils/UtilsSuite.scala
similarity index 95%
rename from src/test/scala/leon/test/utils/UtilsSuite.scala
rename to src/test/scala/leon/unit/utils/UtilsSuite.scala
index 55f798ec8..fe0286a97 100644
--- a/src/test/scala/leon/test/utils/UtilsSuite.scala
+++ b/src/test/scala/leon/unit/utils/UtilsSuite.scala
@@ -1,6 +1,8 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test
+package leon.unit.utils
+
+import leon.test._
 
 import leon.utils._
 
-- 
GitLab