SymbRunPruneReason (B2R2)

SymbRunPruneReason Type

Represents a state that was discarded before further exploration.

Union case	Description
`AvoidedAddress addr` Full Usage: `AvoidedAddress addr` Parameters: addr : `Addr`	The state reached an avoided instruction address. addr : `Addr`
`AvoidedState addr` Full Usage: `AvoidedState addr` Parameters: addr : `Addr`	The state matched an avoided state predicate. addr : `Addr`
`InfeasiblePath addr` Full Usage: `InfeasiblePath addr` Parameters: addr : `Addr`	The solver proved the state's path condition unsatisfiable. addr : `Addr`
`LoopBoundReached(addr, limit)` Full Usage: `LoopBoundReached(addr, limit)` Parameters: addr : `Addr` limit : `int`	The state exceeded the per-path loop bound. addr : `Addr` limit : `int`
`SolverPruningFailed(addr, error)` Full Usage: `SolverPruningFailed(addr, error)` Parameters: addr : `Addr` error : `SymbEvalError`	Solver pruning failed while checking the state's path condition. addr : `Addr` error : `SymbEvalError`

Instance member	Description
`this.IsAvoidedAddress` Full Usage: `this.IsAvoidedAddress` Returns: `bool`	Returns: `bool`
`this.IsAvoidedState` Full Usage: `this.IsAvoidedState` Returns: `bool`	Returns: `bool`
`this.IsInfeasiblePath` Full Usage: `this.IsInfeasiblePath` Returns: `bool`	Returns: `bool`
`this.IsLoopBoundReached` Full Usage: `this.IsLoopBoundReached` Returns: `bool`	Returns: `bool`
`this.IsSolverPruningFailed` Full Usage: `this.IsSolverPruningFailed` Returns: `bool`	Returns: `bool`