SymbRunResult (B2R2)

SymbRunResult Type

Represents the answer to a bounded symbolic execution query.

Union case	Description
`Reachable SymbReachabilityAnswer list` Full Usage: `Reachable SymbReachabilityAnswer list` Parameters: Item : `SymbReachabilityAnswer list`	One or more states reached the requested target. Item : `SymbReachabilityAnswer list`
`Satisfiable SymbSatisfiabilityAnswer list` Full Usage: `Satisfiable SymbSatisfiabilityAnswer list` Parameters: Item : `SymbSatisfiabilityAnswer list`	One or more concrete assignments satisfy the requested target. Item : `SymbSatisfiabilityAnswer list`
`TimedOut(timeout, result)` Full Usage: `TimedOut(timeout, result)` Parameters: timeout : `int` result : `SymbRunResult`	Execution timed out and produced the given partial result. timeout : `int` result : `SymbRunResult`
`Unknown SymbRunFailure list` Full Usage: `Unknown SymbRunFailure list` Parameters: Item : `SymbRunFailure list`	Execution could not prove satisfiability or unsatisfiability. Item : `SymbRunFailure list`
`Unreachable` Full Usage: `Unreachable`	No state reached the requested target in the explored state space.
`Unsatisfiable` Full Usage: `Unsatisfiable`	No concrete assignment satisfies the requested target.

Instance member	Description
`this.GetSatisfiabilityAnswer` Full Usage: `this.GetSatisfiabilityAnswer` Returns: `SymbSatisfiabilityAnswer`	Returns the first satisfiability answer, or raises when unavailable. Returns: `SymbSatisfiabilityAnswer`
`this.IsReachable` Full Usage: `this.IsReachable` Returns: `bool`	Returns: `bool`
`this.IsSatisfiable` Full Usage: `this.IsSatisfiable` Returns: `bool`	Returns: `bool`
`this.IsTimedOut` Full Usage: `this.IsTimedOut` Returns: `bool`	Returns: `bool`
`this.IsUnknown` Full Usage: `this.IsUnknown` Returns: `bool`	Returns: `bool`
`this.IsUnreachable` Full Usage: `this.IsUnreachable` Returns: `bool`	Returns: `bool`
`this.IsUnsatisfiable` Full Usage: `this.IsUnsatisfiable` Returns: `bool`	Returns: `bool`