Utilities
---------

Logging
^^^^^^^

.. autofunction:: manticore.utils.log.set_verbosity