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 b9bfccd36bc2abcc3479c9d3a703df0cdfe16ab7..a0e52aa0b083c04a5a3e1141d2f3287a1995611e 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) - } }