seal5.transform.detect_side_effects.visitor

Detect memory side effects in instruction behavior.

Classes

DetectSideEffectsVisitor()

Set memory side-effect flags in the instruction context.