From 6226db692a8adc595798a86252a023f4e4009f7c Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Wed, 3 Feb 2016 18:45:19 +0100
Subject: [PATCH] frontend xlang tests moved to their own package
---
.../{frontends/error/xlang => xlang/error}/Array1.scala | 0
.../{frontends/error/xlang => xlang/error}/Array10.scala | 0
.../{frontends/error/xlang => xlang/error}/Array2.scala | 0
.../{frontends/error/xlang => xlang/error}/Array3.scala | 0
.../{frontends/error/xlang => xlang/error}/Array4.scala | 0
.../{frontends/error/xlang => xlang/error}/Array5.scala | 0
.../{frontends/error/xlang => xlang/error}/Array6.scala | 0
.../{frontends/error/xlang => xlang/error}/Array7.scala | 0
.../{frontends/error/xlang => xlang/error}/Array8.scala | 0
.../{frontends/error/xlang => xlang/error}/Array9.scala | 0
src/test/scala/leon/regression/frontends/FrontEndsSuite.scala | 4 ----
11 files changed, 4 deletions(-)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array1.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array10.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array2.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array3.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array4.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array5.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array6.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array7.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array8.scala (100%)
rename src/test/resources/regression/{frontends/error/xlang => xlang/error}/Array9.scala (100%)
diff --git a/src/test/resources/regression/frontends/error/xlang/Array1.scala b/src/test/resources/regression/xlang/error/Array1.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array1.scala
rename to src/test/resources/regression/xlang/error/Array1.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array10.scala b/src/test/resources/regression/xlang/error/Array10.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array10.scala
rename to src/test/resources/regression/xlang/error/Array10.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array2.scala b/src/test/resources/regression/xlang/error/Array2.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array2.scala
rename to src/test/resources/regression/xlang/error/Array2.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array3.scala b/src/test/resources/regression/xlang/error/Array3.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array3.scala
rename to src/test/resources/regression/xlang/error/Array3.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array4.scala b/src/test/resources/regression/xlang/error/Array4.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array4.scala
rename to src/test/resources/regression/xlang/error/Array4.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array5.scala b/src/test/resources/regression/xlang/error/Array5.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array5.scala
rename to src/test/resources/regression/xlang/error/Array5.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array6.scala b/src/test/resources/regression/xlang/error/Array6.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array6.scala
rename to src/test/resources/regression/xlang/error/Array6.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array7.scala b/src/test/resources/regression/xlang/error/Array7.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array7.scala
rename to src/test/resources/regression/xlang/error/Array7.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array8.scala b/src/test/resources/regression/xlang/error/Array8.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array8.scala
rename to src/test/resources/regression/xlang/error/Array8.scala
diff --git a/src/test/resources/regression/frontends/error/xlang/Array9.scala b/src/test/resources/regression/xlang/error/Array9.scala
similarity index 100%
rename from src/test/resources/regression/frontends/error/xlang/Array9.scala
rename to src/test/resources/regression/xlang/error/Array9.scala
diff --git a/src/test/scala/leon/regression/frontends/FrontEndsSuite.scala b/src/test/scala/leon/regression/frontends/FrontEndsSuite.scala
index b9bfccd36..a0e52aa0b 100644
--- a/src/test/scala/leon/regression/frontends/FrontEndsSuite.scala
+++ b/src/test/scala/leon/regression/frontends/FrontEndsSuite.scala
@@ -36,7 +36,6 @@ class FrontEndsSuite extends LeonRegressionSuite {
}
val pipeNormal = xlang.NoXLangFeaturesChecking andThen NoopPhase() // redundant NoopPhase to trigger throwing error between phases
- val pipeX = NoopPhase[Program]()
val baseDir = "regression/frontends/"
forEachFileIn(baseDir+"passing/") { f =>
@@ -45,8 +44,5 @@ class FrontEndsSuite extends LeonRegressionSuite {
forEachFileIn(baseDir+"error/simple/") { f =>
testFrontend(f, pipeNormal, true)
}
- forEachFileIn(baseDir+"error/xlang/") { f =>
- testFrontend(f, pipeX, true)
- }
}
--
GitLab