seal5.transform.converter

Tranform M2-ISA-R metamodel to Seal5 metamodel.

Functions

convert_attrs(attrs)
get_parser()
main(argv)
run(args)