Add set_verbosity to the documentation (#1688)

Co-authored-by: Eric Hennenfent <[email protected]>
trailofbits · May 4, 2020 · 2b04eee · 2b04eee
1 parent 4b26ced
commit 2b04eee
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/docs/index.rst b/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

diff --git a/docs/utilities.rst b/docs/utilities.rst
@@ -0,0 +1,7 @@
+Utilities
+---------
+
+Logging
+^^^^^^^
+
+.. autofunction:: manticore.utils.log.set_verbosity
diff --git a/manticore/utils/log.py b/manticore/utils/log.py
@@ -149,6 +149,7 @@ def match(name: str, pattern: str):
 
 
 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:
-Original file line number
+Diff line change
@@ Expand Up @@
        wasm
        plugins
        gotchas
+       utilities
     Indices and tables
@@ Expand Down @@