From f634a8d870ee948e77c5cb14479c85320643bbda Mon Sep 17 00:00:00 2001 From: Yury Kamenev Date: Wed, 29 Nov 2023 02:21:51 -0800 Subject: [PATCH] Hack for Random mocks --- .../main/kotlin/org/utbot/contest/usvm/jc/JcTestExecutor.kt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/jc/JcTestExecutor.kt b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/jc/JcTestExecutor.kt index 6d0733a9bb..e91829e419 100644 --- a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/jc/JcTestExecutor.kt +++ b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/jc/JcTestExecutor.kt @@ -149,10 +149,12 @@ class JcTestExecutor( override fun allocateString(value: UTestExpression): UTestExpression = value override fun resolveObject(ref: UConcreteHeapRef, heapRef: UHeapRef, type: JcClassType): UTestExpression { - if (ref !in resolvedMethodMocks) { + if (ref !in resolvedMethodMocks || type.jcClass.name != "java.util.Random") { return super.resolveObject(ref, heapRef, type) } + // Hack: mock only Random + val mocks = resolvedMethodMocks.getValue(ref) val fieldValues = mutableMapOf()