From 18edbae986b13e893a054f3278fef5ef3cf1eeb1 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 18:36:21 +0200
Subject: [PATCH] Remove nonexistant CoverageTest ignoreList entries
---
.../de/tlc4b/tlc/integration/probprivate/CoverageTest.java | 3 ---
1 file changed, 3 deletions(-)
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 99e84f0..689247c 100644
--- a/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
+++ b/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
@@ -45,10 +45,7 @@ public class CoverageTest extends AbstractParseMachineTest {
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/");
return getConfiguration2(list, ignoreList);
}
--
GitLab