seal5.transform.check_pattern_support.check

Annotate instruction which are unsupported with SKIP_PATTERN_GEN attribute.

Functions

get_parser()
main(argv)
run(args)