[fixup!]

vorpal-research · Jul 31, 2024 · 364e248 · 364e248
1 parent e20135e
commit 364e248
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kex-runner/src/main/kotlin/org/vorpal/research/kex/jacoco/CoverageReporter.kt b/kex-runner/src/main/kotlin/org/vorpal/research/kex/jacoco/CoverageReporter.kt
@@ -160,7 +160,7 @@ open class CoverageReporter(
             val additionalValues = kexConfig
                 .getStringValue("kex", "collectAdditionalCoverage")
                 ?.split(",")
-                ?.map { Package.parse(it.trim()) }
+                ?.map { Package.parse(it.trim().asmString) }
                 ?.toSet()
                 ?: emptySet()
             val targetKlass = analysisLevel.klass.fullName.replace(Package.SEPARATOR, File.separatorChar)