Instructions.with_all_callee_names()

Adds a filter to get Instructions that have callees with all the given names.

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

Query Example

from glider import *


def query():
  return (
    Instructions()
    .with_all_callee_names(["require", "balanceOf"], sensitivity=False)
    .exec(1)
  )

Example Output