SymbRunFailure (B2R2)

SymbRunFailure Type

Represents why a symbolic query could not be fully answered.

Union case	Description
`Pruned(SymbState, SymbRunPruneReason)` Full Usage: `Pruned(SymbState, SymbRunPruneReason)` Parameters: Item1 : `SymbState` Item2 : `SymbRunPruneReason`	A state was pruned before it could reach a target. Item1 : `SymbState` Item2 : `SymbRunPruneReason`
`Stopped(SymbState, SymbRunStopReason)` Full Usage: `Stopped(SymbState, SymbRunStopReason)` Parameters: Item1 : `SymbState` Item2 : `SymbRunStopReason`	A state stopped before it could reach a target. Item1 : `SymbState` Item2 : `SymbRunStopReason`

Instance member	Description
`this.IsPruned` Full Usage: `this.IsPruned` Returns: `bool`	Returns: `bool`
`this.IsStopped` Full Usage: `this.IsStopped` Returns: `bool`	Returns: `bool`