From 293b9f2c9d441f0436d1caf63db788a68ecd8bc6 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 7 May 2015 18:07:56 +0200
Subject: [PATCH] TestCasesCompile should not be in LeonFunTests

---
 src/test/scala/leon/test/LeonTests.scala | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/test/scala/leon/test/LeonTests.scala b/src/test/scala/leon/test/LeonTests.scala
index 5650ab907..e6c4e1b20 100644
--- a/src/test/scala/leon/test/LeonTests.scala
+++ b/src/test/scala/leon/test/LeonTests.scala
@@ -16,7 +16,8 @@ import verification._
 
 class LeonAllTests extends Suites(
   new LeonUnitTests,
-  new LeonFunTests
+  new LeonFunTests,
+  new TestCasesCompile
 )
 
 class LeonFunTests extends Suites(
@@ -30,12 +31,9 @@ class LeonFunTests extends Suites(
   new SynthesisSuite,
   new SynthesisRegressionSuite,
 
-
   new LibraryVerificationRegression,
   new PureScalaVerificationRegression,
-  new XLangVerificationRegression,
-
-  new TestCasesCompile
+  new XLangVerificationRegression
 )
 
 class LeonUnitTests extends Suites(
-- 
GitLab