seal5.cli.load

Command line subcommand for loading Seal5 inputs (CoreDesc,yml, ll,.c …) .

Functions

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