From 364e2484da4c38a1130e5b8bfb1fa82cceacdf6c Mon Sep 17 00:00:00 2001
From: Sergei Kharitontcev-Beglov <khbminus@gmail.com>
Date: Wed, 31 Jul 2024 16:52:57 +0200
Subject: [PATCH] [fixup!]

---
 .../kotlin/org/vorpal/research/kex/jacoco/CoverageReporter.kt   | 2 +-
 1 file changed, 1 insertion(+), 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
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)