angr.exploration_techniques.timeout

class angr.exploration_techniques.timeout.Timeout

Bases: ExplorationTechnique

Timeout exploration technique that stops an active exploration if the run time exceeds a predefined timeout

__init__(timeout=None)