From de35fc5376d745dc2f7c977a72cafb9404883f28 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 25 May 2015 17:15:19 +0200
Subject: [PATCH] Don't crash if a test folder is missing
---
src/test/scala/leon/test/LeonTestSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/LeonTestSuite.scala b/src/test/scala/leon/test/LeonTestSuite.scala
index 9b2822faf..c94097df5 100644
--- a/src/test/scala/leon/test/LeonTestSuite.scala
+++ b/src/test/scala/leon/test/LeonTestSuite.scala
@@ -153,7 +153,7 @@ trait LeonTestSuite extends FunSuite with Timeouts with BeforeAndAfterEach {
def scanFilesIn(f: File, filter: String=>Boolean = all, recursive: Boolean = false): Iterable[File] = {
- f.listFiles().flatMap{f =>
+ Option(f.listFiles()).getOrElse(Array()).flatMap{f =>
if (f.isDirectory && recursive) {
scanFilesIn(f, filter, recursive)
} else {
--
GitLab