ConcRunOptions<'State> (B2R2)

ConcRunOptions<'State> Type

Represents concrete execution configuration.

Record Field	Description
`Calls` Full Usage: `Calls` Field type: `ConcCallPolicy`	Call-handling policy. Field type: `ConcCallPolicy`
`StopConditions` Full Usage: `StopConditions` Field type: `ConcStopCondition<'State> list`	Stop conditions used by Run. Field type: `ConcStopCondition<'State> list`
`UndefinedValues` Full Usage: `UndefinedValues` Field type: `ConcUndefinedValuePolicy`	Undefined-value handling policy. Field type: `ConcUndefinedValuePolicy`
`UninitializedRegisters` Full Usage: `UninitializedRegisters` Field type: `UninitializedRegisterPolicy`	Uninitialized register read handling policy. Field type: `UninitializedRegisterPolicy`

Static member	Description
`ConcRunOptions.Default(stopCondition)` Full Usage: `ConcRunOptions.Default(stopCondition)` Parameters: stopCondition : `ConcStopCondition<'State>` Returns: `ConcRunOptions<'State>`	stopCondition : `ConcStopCondition<'State>` Returns: `ConcRunOptions<'State>`
`ConcRunOptions.Default(stopConditions)` Full Usage: `ConcRunOptions.Default(stopConditions)` Parameters: stopConditions : `ConcStopCondition<'State> list` Returns: `ConcRunOptions<'State>`	stopConditions : `ConcStopCondition<'State> list` Returns: `ConcRunOptions<'State>`