seal5.cli.generate

Generating Seal5 patches

Functions

add_generate_options(parser)
get_parser(subparsers)	"Define and return a subparser for the generate subcommand.
handle(args)	Callback function which will be called to process the generate subcommand