From 0fdc48b56c7d4dbadcaaa5964ec863f30740b81c Mon Sep 17 00:00:00 2001 From: IlyaMuravjov Date: Mon, 13 Nov 2023 14:03:53 +0300 Subject: [PATCH] Fix test generation for nested classes --- .../src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kt b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kt index 5b57c784ac..c44cbb1698 100644 --- a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kt +++ b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kt @@ -161,14 +161,14 @@ fun runUsvmGeneration( options = UMachineOptions(timeoutMs = symbolicBudgetPerMethod) ) }.use { machine -> - val jcClass = jcDbContainer.cp.findClass(cut.fqn) - statsForClass.methodsCount = filteredMethods.size // nothing to process further if (filteredMethods.isEmpty()) return@runBlocking statsForClass for (method in filteredMethods) { + val jcClass = jcDbContainer.cp.findClass(method.classId.name) + val jcTypedMethod = jcClass.toType().declaredMethods.firstOrNull { it.name == method.name && it.method.jcdbSignature == when (method) { is ConstructorId -> method.constructor.toJcdbSignature()