We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4fa518e commit 8d09ba6Copy full SHA for 8d09ba6
utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/jc/JcTestExecutor.kt
@@ -149,12 +149,10 @@ class JcTestExecutor(
149
override fun allocateString(value: UTestExpression): UTestExpression = value
150
151
override fun resolveObject(ref: UConcreteHeapRef, heapRef: UHeapRef, type: JcClassType): UTestExpression {
152
- if (ref !in resolvedMethodMocks || type.jcClass.name != "java.util.Random") {
+ if (ref !in resolvedMethodMocks) {
153
return super.resolveObject(ref, heapRef, type)
154
}
155
156
- // Hack: mock only Random
157
-
158
val mocks = resolvedMethodMocks.getValue(ref)
159
160
val fieldValues = mutableMapOf<JcField, UTestExpression>()
0 commit comments