Format

Lipen · Lipen · commit 3ba215d556f7 · 2025-09-08T16:38:29.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/expr/CallStatic.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/expr/CallStatic.kt
@@ -106,9 +106,11 @@ private fun TsExprResolver.processAmbiguousStaticMethod(
             returnSite = scope.calcOnState { lastStmt }
         )
     }
-    scope.forkMulti(concreteCalls.map { stmt ->
-        ctx.mkTrue() to { newStmt(stmt) }
-    })
+    scope.forkMulti(
+        concreteCalls.map { stmt ->
+            ctx.mkTrue() to { newStmt(stmt) }
+        }
+    )
 }
 
 private fun TsExprResolver.processUniqueStaticMethod(
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsStatic.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsStatic.kt
@@ -6,7 +6,6 @@ import org.jacodb.ets.model.EtsClassSignature
 import org.jacodb.ets.model.EtsMethod
 import org.jacodb.ets.utils.STATIC_INIT_METHOD_NAME
 import org.usvm.UBoolSort
-import org.usvm.UExpr
 import org.usvm.UHeapRef
 import org.usvm.collection.field.UFieldLValue
 import org.usvm.isTrue

Original file line number	Diff line number	Diff line change
`@@ -106,9 +106,11 @@ private fun TsExprResolver.processAmbiguousStaticMethod(`
`106`	`106`	`returnSite = scope.calcOnState { lastStmt }`
`107`	`107`	`)`
`108`	`108`	`}`
`109`		`- scope.forkMulti(concreteCalls.map { stmt ->`
`110`		`- ctx.mkTrue() to { newStmt(stmt) }`
`111`		`- })`
	`109`	`+ scope.forkMulti(`
	`110`	`+ concreteCalls.map { stmt ->`
	`111`	`+ ctx.mkTrue() to { newStmt(stmt) }`
	`112`	`+ }`
	`113`	`+ )`
`112`	`114`	`}`
`113`	`115`
`114`	`116`	`private fun TsExprResolver.processUniqueStaticMethod(`