SymbAvoid (B2R2)

SymbAvoid Type

Represents an avoid condition used by SymbExecutor.Run.

Union case	Description
`AvoidAddresses addrs` Full Usage: `AvoidAddresses addrs` Parameters: addrs : `Set<Addr>`	Discard states whose PC reaches one of the given addresses. addrs : `Set<Addr>`
`AvoidState predicate` Full Usage: `AvoidState predicate` Parameters: predicate : `SymbStopPoint -> bool`	Discard states satisfying the given predicate. predicate : `SymbStopPoint -> bool`

Instance member	Description
`this.IsAvoidAddresses` Full Usage: `this.IsAvoidAddresses` Returns: `bool`	Returns: `bool`
`this.IsAvoidState` Full Usage: `this.IsAvoidState` Returns: `bool`	Returns: `bool`