ConcRunResult<'State> (B2R2) | B2R2

ConcRunResult<'State> Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: obj
All Interfaces: IEquatable<ConcRunResult<'State>> , IStructuralEquatable , IComparable<ConcRunResult<'State>> , IComparable , IStructuralComparable

Represents the result of a concrete execution run.

Record fields

Record Field	Description
`FinalAddress` Full Usage: `FinalAddress` Field type: `Addr`	Final instruction address or program counter. Field type: `Addr`
`InstructionCount` Full Usage: `InstructionCount` Field type: `int`	Number of executed machine instructions. Field type: `int`
`State` Full Usage: `State` Field type: `'State`	Final concrete executor state. Field type: `'State`
`StopReasons` Full Usage: `StopReasons` Field type: `ConcStopReason list`	Reasons why execution stopped. Field type: `ConcStopReason list`

Instance members

Instance member	Description
`this.IsStoppedAtAddress` Full Usage: `this.IsStoppedAtAddress` Parameters: addr : `Addr` Returns: `bool`	Returns true when execution stopped before the given address. addr : `Addr` Returns: `bool`