Slight test improvements

src/test/scala/leon/test/verification/NewSolversRegression.scala

@@ -32,7 +32,7 @@ class NewSolversRegression extends VerificationRegression {
 
     (
       if (isZ3Available)
-        List(List("--solvers=smt-z3-quantified", "--feelinglucky"))
+        List(List("--solvers=smt-z3-quantified", "--feelinglucky", "--timeout=3"))
       else Nil
     ) ++ (
       if (isCVC4Available)

src/test/scala/leon/test/verification/VerificationRegression.scala

@@ -10,9 +10,6 @@ import leon.purescala.Definitions.Program
 import leon.frontends.scalac.ExtractionPhase
 import leon.utils.PreprocessingPhase
 
-import _root_.smtlib.interpreters._
-
-import java.io.File
 
 // 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.
@@ -51,7 +48,7 @@ trait VerificationRegression extends LeonTestSuite {
     }
   }
 
-  private[verification] def forEachFileIn(cat : String, forError: Boolean = false)(block : Output=>Unit) {
+  private[verification] def forEachFileIn(cat : String)(block : Output=>Unit) {
     val fs = filesInResourceDir( testDir + cat, _.endsWith(".scala")).toList
 
     fs foreach { file =>