Skip to content

Commit 9cf4f41

Browse files
committed
Corrected valueModels for global constructors mocks
1 parent 19c07cb commit 9cf4f41

File tree

1 file changed

+9
-1
lines changed

1 file changed

+9
-1
lines changed

utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/UTestInst2UtModelConverter.kt

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,6 +50,7 @@ import org.utbot.framework.plugin.api.UtPrimitiveModel
5050
import org.utbot.framework.plugin.api.UtStaticMethodInstrumentation
5151
import org.utbot.framework.plugin.api.util.classClassId
5252
import org.utbot.framework.plugin.api.util.objectClassId
53+
import org.utbot.framework.plugin.api.util.voidClassId
5354
import org.utbot.fuzzer.IdGenerator
5455

5556
class UTestInst2UtModelConverter(
@@ -322,7 +323,14 @@ class UTestInst2UtModelConverter(
322323

323324
initMethodExprs
324325
.forEach { (jcMethod, uTestExprs) ->
325-
val valueModels = uTestExprs.map { expr -> processExpr(expr) }
326+
// TODO usvm-sbft-merge: it can be .map { expr -> processExpr(expr) } here
327+
// However, there's no special treatment for cases when <init> method occurs in a global mock
328+
val valueModels = uTestExprs.map { _ -> UtCompositeModel(
329+
id=idGenerator.createId(),
330+
classId = voidClassId,
331+
isMock = true,
332+
)
333+
}
326334
val methodInstrumentation = UtNewInstanceInstrumentation(
327335
classId = jcMethod.enclosingClass.classId,
328336
instances = valueModels,

0 commit comments

Comments
 (0)