File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -161,14 +161,14 @@ fun runUsvmGeneration(
161161 options = UMachineOptions (timeoutMs = symbolicBudgetPerMethod)
162162 )
163163 }.use { machine ->
164- val jcClass = jcDbContainer.cp.findClass(cut.fqn)
165-
166164 statsForClass.methodsCount = filteredMethods.size
167165
168166 // nothing to process further
169167 if (filteredMethods.isEmpty()) return @runBlocking statsForClass
170168
171169 for (method in filteredMethods) {
170+ val jcClass = jcDbContainer.cp.findClass(method.classId.name)
171+
172172 val jcTypedMethod = jcClass.toType().declaredMethods.firstOrNull {
173173 it.name == method.name && it.method.jcdbSignature == when (method) {
174174 is ConstructorId -> method.constructor .toJcdbSignature()
You can’t perform that action at this time.
0 commit comments