Tests in different packages

...ion/scala/leon/integration/LeonTestSuiteWithProgram.scala

...tegration/scala/leon/integration/TestSilentReporter.scala

...a/leon/integration/evaluators/CodegenEvaluatorSuite.scala

...on/scala/leon/integration/evaluators/EvaluatorSuite.scala

...ation/scala/leon/integration/helpers/ExpressionsDSL.scala

...gration/scala/leon/integration/helpers/WithLikelyEq.scala

...ation/scala/leon/integration/purescala/DataGenSuite.scala

...ration/scala/leon/integration/purescala/DefOpsSuite.scala

...ation/scala/leon/integration/purescala/ExprOpsSuite.scala

...tion/scala/leon/integration/purescala/InliningSuite.scala

...scala/leon/integration/purescala/SimplifyPathsSuite.scala

...ala/leon/integration/solvers/EnumerationSolverSuite.scala

...on/scala/leon/integration/solvers/FairZ3SolverTests.scala

...tion/scala/leon/integration/solvers/LeonSolverSuite.scala

...cala/leon/integration/solvers/ModelEnumerationSuite.scala

...n/scala/leon/integration/solvers/TimeoutSolverSuite.scala

...scala/leon/integration/solvers/UnrollingSolverSuite.scala

src/regression/scala/leon/regression/LeonTestSuite.scala

...regression/scala/leon/regression/TestSilentReporter.scala

...sion/scala/leon/regression/frontends/FrontEndsSuite.scala