Skip to content
Snippets Groups Projects
Commit de35fc53 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Don't crash if a test folder is missing

parent fcac8a89
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/test/scala/leon/test/LeonTestSuite.scala
+ 1
− 1
View file @ de35fc53
...@@ -153,7 +153,7 @@ trait LeonTestSuite extends FunSuite with Timeouts with BeforeAndAfterEach { ...@@ -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] = { 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) { if (f.isDirectory && recursive) {
scanFilesIn(f, filter, recursive) scanFilesIn(f, filter, recursive)
} else { } else {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment