From 349b6132a72dd076488e4c026b6185693f8ea576 Mon Sep 17 00:00:00 2001 From: Kirill Shishin Date: Mon, 13 Nov 2023 13:22:46 +0300 Subject: [PATCH] Fix setField class name argument --- .../kotlin/org/utbot/contest/usvm/UTestInst2UtModelConverter.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/UTestInst2UtModelConverter.kt b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/UTestInst2UtModelConverter.kt index 4f842ce304..0615e41f36 100644 --- a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/UTestInst2UtModelConverter.kt +++ b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/UTestInst2UtModelConverter.kt @@ -103,7 +103,7 @@ class UTestInst2UtModelConverter( val instanceModel = processExpr(instanceExpr) require(instanceModel is UtAssembleModel) - val fieldType = uTestInst.field.type.findClassId(jcClasspath) + val fieldType = uTestInst.field.enclosingClass.classId val fieldName = uTestInst.field.name val setValueModel = processExpr(uTestInst.value)