Utilities¶
Logging¶
- manticore.utils.log.init_logging(handler: Optional[logging.Handler] = None) None¶
Initialize logging for Manticore, given a handler or by default use default_logger()
- manticore.utils.log.get_manticore_logger_names() List[str]¶
- manticore.utils.log.set_verbosity(setting: int) None¶
Set the global verbosity (0-5).
- manticore.utils.log.default_handler() logging.Handler¶
Return a default Manticore logger with a nice formatter and filter.