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 index a3a0b9f0b..f87c82e20 100644 --- 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)