seal5.transform.detect_side_effects.collect

Clean M2-ISA-R/Seal5 metamodel by removing unused constants.

Functions

get_parser()

main(argv)

run(args)

Classes

VisitorContext()