ConcUndefinedValuePolicy (B2R2) | B2R2

ConcUndefinedValuePolicy Type

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

Represents how concrete execution should handle undefined values.

Union cases

Union case	Description
`IgnoreUndefinedWrites` Full Usage: `IgnoreUndefinedWrites`	Ignore writes whose right-hand side is undefined.
`PreserveUndefinedValues` Full Usage: `PreserveUndefinedValues`	Preserve undefined values in the concrete evaluator state.
`StopOnUndefinedValue` Full Usage: `StopOnUndefinedValue`	Treat undefined values as evaluation failures.

Instance members

Instance member	Description
`this.IsIgnoreUndefinedWrites` Full Usage: `this.IsIgnoreUndefinedWrites` Returns: `bool`	Returns: `bool`
`this.IsPreserveUndefinedValues` Full Usage: `this.IsPreserveUndefinedValues` Returns: `bool`	Returns: `bool`
`this.IsStopOnUndefinedValue` Full Usage: `this.IsStopOnUndefinedValue` Returns: `bool`	Returns: `bool`