Instructions.with_one_of_callee_names()

Adds a filter to get Instructions that call a function with the given signature.

with_one_of_callee_names(names: List[str], sensitivity: bool = True) → Instructions

Query Example

from glider import *


def query():
  return (
    Instructions()
    .with_one_of_callee_names(["deposit", "withdraw"])
    .exec(2,1)
  )

Example Output