Skip to content

Commit 3d6c0aa

Browse files
committed
Update utResult value
1 parent 0518a20 commit 3d6c0aa

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

utbot-framework/src/main/kotlin/org/utbot/engine/UsvmSymbolicEngine.kt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,7 @@ object UsvmSymbolicEngine {
103103
utilMethodProvider = UtilMethodProviderPlaceholder,
104104
)
105105

106-
val utResult = runCatching {
106+
var utResult = runCatching {
107107
executionConverter.convert()
108108
}.getOrElse { e ->
109109
logger.warn(e) { "JcToUtExecutionConverter.convert(${jcExecution.method.method}) failed" }
@@ -117,7 +117,7 @@ object UsvmSymbolicEngine {
117117

118118
if(utResult is UtExecution) {
119119
val assembleModelGenerator = AssembleModelGenerator(executableId.classId.packageName)
120-
utResult.mapModels(UtModelDeepMapper { model ->
120+
utResult = utResult.mapModels(UtModelDeepMapper { model ->
121121
assembleModelGenerator.createAssembleModels(listOf(model)).getValue(model)
122122
})
123123
}

0 commit comments

Comments
 (0)