From 232a89e49174e5cf83146961ebcc13d4aa0d314d Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 18:33:56 +0200
Subject: [PATCH] Fix sorting of CoverageTest ignoreList
---
.../java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java b/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
index 87633a1..99e84f0 100644
--- a/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
+++ b/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
@@ -43,12 +43,12 @@ public class CoverageTest extends AbstractParseMachineTest {
list.add("build/prob_examples/public_examples/TLC/");
list.add("./src/test/resources/");
+ ignoreList.add("./src/test/resources/bugs/");
ignoreList.add("./src/test/resources/compound/");
ignoreList.add("./src/test/resources/other/");
ignoreList.add("./src/test/resources/test/");
ignoreList.add("./src/test/resources/testing/");
ignoreList.add("./src/test/resources/todo/");
- ignoreList.add("./src/test/resources/bugs/");
return getConfiguration2(list, ignoreList);
}
--
GitLab