angr.exploration_techniques.manual_mergepoint

class angr.exploration_techniques.manual_mergepoint.ManualMergepoint

Bases: ExplorationTechnique

__init__(address, wait_counter=10, prune=True)

mark_nofilter(simgr, stash)

mark_okfilter(simgr, stash)