Remove TestUtils, don't look in innexistent directories

src/test/scala/leon/test/LeonTestSuite.scala

@@ -2,6 +2,8 @@ package leon.test
 import scala.io.Source
 import org.scalatest._
 
+import java.io.File
+
 trait LeonTestSuite extends FunSuite {
   def now() = {
     System.currentTimeMillis
@@ -83,4 +85,20 @@ trait LeonTestSuite extends FunSuite {
       storeStats(id, stats.withValue(total))
     }
   }
+
+  private val all : String=>Boolean = (s : String) => true
+
+  def filesInResourceDir(dir : String, filter : String=>Boolean = all) : Iterable[File] = {
+    import scala.collection.JavaConversions._
+
+    val d = this.getClass.getClassLoader.getResource(dir)
+
+    if(d == null || d.getProtocol != "file") {
+      assert(false, "Tests have to be run from within `sbt`, for otherwise the test files will be harder to access (and we dislike that).")
+    }
+
+    val asFile = new File(d.toURI())
+
+    asFile.listFiles().filter(f => filter(f.getPath()))
+  }
 }

src/test/scala/leon/test/TestUtils.scala

-/* Copyright 2009-2013 EPFL, Lausanne */
-
-package leon
-package test
-
-import java.io.File
-
-object TestUtils {
-  private val all : String=>Boolean = (s : String) => true
-
-  def filesInResourceDir(dir : String, filter : String=>Boolean = all) : Iterable[File] = {
-    import scala.collection.JavaConversions._
-
-    val d = this.getClass.getClassLoader.getResource(dir)
-
-    if(d == null || d.getProtocol != "file") {
-      assert(false, "Tests have to be run from within `sbt`, for otherwise the test files will be harder to access (and we dislike that).")
-    }
-
-    val asFile = new File(d.toURI())
-
-    asFile.listFiles().filter(f => filter(f.getPath()))
-  }
-
-}

src/test/scala/leon/test/synthesis/SynthesisRegressionSuite.scala

@@ -15,8 +15,6 @@ import leon.synthesis.utils._
 
 import java.io.File
 
-import TestUtils._
-
 class SynthesisRegressionSuite extends LeonTestSuite {
   private def forEachFileIn(path : String)(block : File => Unit) {
     val fs = filesInResourceDir(path, _.endsWith(".scala"))
@@ -63,11 +61,11 @@ class SynthesisRegressionSuite extends LeonTestSuite {
     testSynthesis("List", f, 200)
   }
 
-  forEachFileIn("regression/synthesis/SortedList/") { f =>
-    testSynthesis("SortedList", f, 400)
-  }
+  //forEachFileIn("regression/synthesis/SortedList/") { f =>
+  //  testSynthesis("SortedList", f, 400)
+  //}
 
-  forEachFileIn("regression/synthesis/StrictSortedList/") { f =>
-    testSynthesis("StrictSortedList", f, 400)
-  }
+  //forEachFileIn("regression/synthesis/StrictSortedList/") { f =>
+  //  testSynthesis("StrictSortedList", f, 400)
+  //}
 }

src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala

@@ -8,8 +8,6 @@ import leon.verification.{AnalysisPhase,VerificationReport}
 
 import java.io.File
 
-import TestUtils._
-
 class PureScalaVerificationRegression extends LeonTestSuite {
   private var counter : Int = 0
   private def nextInt() : Int = {

src/test/scala/leon/test/verification/XLangVerificationRegression.scala

@@ -8,8 +8,6 @@ import leon.verification.{AnalysisPhase,VerificationReport}
 
 import java.io.File
 
-import TestUtils._
-
 class XLangVerificationRegression extends LeonTestSuite {
   private var counter : Int = 0
   private def nextInt() : Int = {