better test include filter in KfgClassLoader

vorpal-research · Dec 20, 2023 · 9e86d80 · 9e86d80
1 parent 7f7deb0
commit 9e86d80
Showing 1 changed file with 1 addition and 10 deletions.
diff --git a/kex-core/src/main/kotlin/org/vorpal/research/kex/util/KfgClassLoader.kt b/kex-core/src/main/kotlin/org/vorpal/research/kex/util/KfgClassLoader.kt
@@ -22,16 +22,7 @@ class KfgClassLoader(
 
     companion object {
         private val INCLUDES = setOf(
-            "class org.vorpal.research.kex.test.concolic.kaf.Lesson2",
-            "class org.vorpal.research.kex.test.concolic.kaf.Lesson6",
-            "class org.vorpal.research.kex.test.concolic.EnumConcolicTests",
-            "class org.vorpal.research.kex.test.concolic.ListConcolicTests",
-            "class org.vorpal.research.kex.test.concolic.Point",
-            "class org.vorpal.research.kex.test.concolic.PrimitiveConcolicTests",
-            "class org.vorpal.research.kex.test.concolic.SetConcolicTests",
-            "class org.vorpal.research.kex.test.concolic.StringConcolicTests",
-            "class org.vorpal.research.kex.test.concolic.TestEnum",
-            "class org.vorpal.research.kex.test.debug.ObjectGenerationTests",
+            "package org.vorpal.research.kex.test.*",
         ).mapTo(mutableSetOf()) { KfgTargetFilter.parse(it) }
         private val EXCLUDES = setOf(
             "package java.*",