seal5.transform.eliminate_rd_cmp_zero.transform

Remove (rd != 0) checks from M2-ISA-R/Seal5 metamodel.

Functions

get_parser()

main(argv)

run(args)