Utilities

Logging

manticore.utils.log.set_verbosity(setting: int) None

Set the global verbosity (0-5).