From 1171a9a0a13e14ced3f8bfc549b5603b9c4c2440 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Fri, 6 Mar 2015 17:58:39 +0100
Subject: [PATCH] FrontEndTests should use correct path
---
src/test/scala/leon/test/frontends/FrontEndsTest.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/frontends/FrontEndsTest.scala b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
index 553dbf1b7..c5b7e63fb 100644
--- a/src/test/scala/leon/test/frontends/FrontEndsTest.scala
+++ b/src/test/scala/leon/test/frontends/FrontEndsTest.scala
@@ -34,7 +34,7 @@ class FrontEndsTest extends leon.test.LeonTestSuite {
purescala.RestoreMethods andThen
utils.FileOutputPhase
- forEachFileIn("frontends" ) { f =>
+ forEachFileIn("regression/frontends" ) { f =>
testExtr(f)
}
--
GitLab