seal5.logging

Loging utilities for Seal5.

Functions

get_formatter([minimal])	Returns a log formatter for one on two predefined formats.
get_logger()	Helper function which return the main seal5 logger while ensuring that is is properly initialized.
set_log_file(path[, level, rotate])	Enable logging to a file.
set_log_level([console_level, file_level])	Set command line log level at runtime.