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 99e84f0cfa831b7dc603865d02ea8c69dbd0bb2b..689247cccae223a920b32b61b7090a2a5dbab0c5 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);
 	}