Use named args

UnitTestBot · Feb 26, 2025 · 58c8dee · 58c8dee
1 parent d37bb80
commit 58c8dee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt
@@ -594,7 +594,7 @@ class TsExprResolver(
             } else {
                 scope.doWithState {
                     markInitialized(clazz)
-                    pushSortsForArguments(null, emptyList(), localToIdx)
+                    pushSortsForArguments(instance = null, args = emptyList(), localToIdx)
                     callStack.push(initializer, currentStatement)
                     memory.stack.push(arrayOf(mkDefaultValueSampler().visit(addressSort)), initializer.localsCount)
                     newStmt(initializer.cfg.stmts.first())