ConcStopPoint<'State> (B2R2)

ConcStopPoint<'State> Type

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

Represents a concrete stop point observed by a user-defined predicate.

Record Field	Description
`Address` Full Usage: `Address` Field type: `Addr`	Current instruction address. 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`	Concrete executor state. Field type: `'State`