From 9e86d80ee75f6e4d4b47cc0338804dfd86e6124e Mon Sep 17 00:00:00 2001 From: Azat Abdullin Date: Wed, 20 Dec 2023 13:12:25 +0100 Subject: [PATCH] better test include filter in KfgClassLoader --- .../org/vorpal/research/kex/util/KfgClassLoader.kt | 11 +---------- 1 file changed, 1 insertion(+), 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 index 8a8080d54..f7528e2a3 100644 --- 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.*",