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(
161
161
options = UMachineOptions (timeoutMs = symbolicBudgetPerMethod)
162
162
)
163
163
}.use { machine ->
164
- val jcClass = jcDbContainer.cp.findClass(cut.fqn)
165
-
166
164
statsForClass.methodsCount = filteredMethods.size
167
165
168
166
// nothing to process further
169
167
if (filteredMethods.isEmpty()) return @runBlocking statsForClass
170
168
171
169
for (method in filteredMethods) {
170
+ val jcClass = jcDbContainer.cp.findClass(method.classId.name)
171
+
172
172
val jcTypedMethod = jcClass.toType().declaredMethods.firstOrNull {
173
173
it.name == method.name && it.method.jcdbSignature == when (method) {
174
174
is ConstructorId -> method.constructor .toJcdbSignature()
You can’t perform that action at this time.
0 commit comments