From 47b2e85bfb52eb11f68079d22ba8fffbdea9fbe2 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 22 Jun 2015 10:39:11 +0200
Subject: [PATCH] RepairSuite should pick only .scala files
---
src/test/scala/leon/test/repair/RepairSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/repair/RepairSuite.scala b/src/test/scala/leon/test/repair/RepairSuite.scala
index 08b6282e5..a44e1352c 100644
--- a/src/test/scala/leon/test/repair/RepairSuite.scala
+++ b/src/test/scala/leon/test/repair/RepairSuite.scala
@@ -21,7 +21,7 @@ class RepairSuite extends LeonTestSuite {
"MergeSort2.scala" -> "merge"
)
- for (file <- filesInResourceDir("regression/repair/")) {
+ for (file <- filesInResourceDir("regression/repair/", _.endsWith(".scala"))) {
val path = file.getAbsoluteFile.toString
val name = file.getName
--
GitLab