seal5.cli.common

Common Seal5 CLI code.

Functions

add_common_options(parser)

Defines options used by multiple cmdline parsers.

handle_logging_flags(args)

Handler for logging-related flags.