Add set_verbosity to the documentation (#1688)

Co-authored-by: Eric Hennenfent <[email protected]>

docs/index.rst

@@ -17,6 +17,7 @@ Manticore is a symbolic execution tool for analysis of binaries and smart contra
    wasm
    plugins
    gotchas
+   utilities
 
 
 Indices and tables

docs/utilities.rst

@@ -0,0 +1,7 @@
+Utilities
+---------
+
+Logging
+^^^^^^^
+
+.. autofunction:: manticore.utils.log.set_verbosity

manticore/utils/log.py

@@ -149,6 +149,7 @@ def get_verbosity(logger_name: str) -> int:
 
 
 def set_verbosity(setting: int) -> None:
+    """Set the global verbosity (0-5)."""
     global manticore_verbosity
     manticore_verbosity = min(max(setting, 0), len(get_levels()) - 1)
     for logger_name in all_loggers: