Header menu logo B2R2

SymbEvalStopReason Type

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll
Parent Module: SymbEvaluator
Base Type: obj
All Interfaces: IEquatable<SymbEvalStopReason> , IStructuralEquatable , IComparable<SymbEvalStopReason> , IComparable , IStructuralComparable

Represents a symbolic evaluation stop reason.

Union cases

Union case Description

SideEffectStop SideEffect

Full Usage: SideEffectStop SideEffect

Parameters:

Evaluation reached a LowUIR statement with architectural side effects.

Item : SideEffect

Type something to start searching.