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 85dccd0 commit 6ded563Copy full SHA for 6ded563
1 file changed
usvm-ts/src/main/kotlin/org/usvm/machine/state/TsStateUtils.kt
@@ -32,16 +32,3 @@ inline val EtsMethod.parametersWithThisCount: Int
32
33
inline val EtsMethod.localsCount: Int
34
get() = locals.size
35
-
36
-// TODO: fix handling of arguments and use this function in machine
37
-fun TsState.makeCall(
38
- method: EtsMethod,
39
- instance: UExpr<*>,
40
- args: List<UExpr<*>>,
41
-) {
42
- pushSortsForArguments(0) { null }
43
- registerCallee(currentStatement, method.cfg)
44
- callStack.push(method, currentStatement)
45
- memory.stack.push(arrayOf(instance) + args.toTypedArray(), method.localsCount)
46
- newStmt(method.cfg.stmts.first())
47
-}
0 commit comments