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 e1d3c77 commit b2734b5Copy full SHA for b2734b5
usvm-ts/src/test/kotlin/org/usvm/util/TsTestResolver.kt
@@ -88,7 +88,7 @@ class TsTestResolver {
88
}
89
90
private fun prepareForResolve(state: TsState) {
91
- state.lValuesToAllocatedFakeObjects.map { (lValue, fakeObject) ->
+ state.lValuesToAllocatedFakeObjects.forEach { (lValue, fakeObject) ->
92
when (lValue) {
93
is UFieldLValue<*, *> -> {
94
val resolvedRef = state.models.first().eval(lValue.ref)
0 commit comments