seal5.transform.collect_raises

Modules

collect	Collect raise constraints from M2-ISA-R/Seal5 metamodel.
visitor	Collect raise constraints from behavior expressions.