All test suites names now end in -Suite

src/test/scala/leon/test/LeonTests.scala

src/test/scala/leon/test/codegen/CodeGenSuite.scala

...st/scala/leon/test/evaluators/DefaultEvaluatorSuite.scala

src/test/scala/leon/test/evaluators/EvaluatorSuite.scala

src/test/scala/leon/test/frontends/FrontEndsSuite.scala

src/test/scala/leon/test/frontends/ImportsSuite.scala

src/test/scala/leon/test/purescala/DataGenSuite.scala

src/test/scala/leon/test/purescala/DefOpsSuite.scala

src/test/scala/leon/test/purescala/TransformationSuite.scala

...t/scala/leon/test/purescala/TreeNormalizationsSuite.scala

src/test/scala/leon/test/purescala/TreeOpsSuite.scala

src/test/scala/leon/test/purescala/TreeTestsSuite.scala

...test/scala/leon/test/solvers/EnumerationSolverSuite.scala

src/test/scala/leon/test/solvers/TimeoutSolverSuite.scala

src/test/scala/leon/test/solvers/UnrollingSolverSuite.scala

src/test/scala/leon/test/termination/TerminationSuite.scala

src/test/scala/leon/test/utils/StreamsSuite.scala

...ala/leon/test/verification/LibraryVerificationSuite.scala

src/test/scala/leon/test/verification/NewSolversSuite.scala

...a/leon/test/verification/PureScalaVerificationSuite.scala