From 8869a7afa4c9f0dac1ea04c3791adbcaf4f0e52a Mon Sep 17 00:00:00 2001
From: ggrieco-tob <gustavo.grieco@trailofbits.com>
Date: Sun, 15 Jul 2018 18:45:49 -0300
Subject: [PATCH] added verbosity command line flag (manticore)

---
 bin/deepstate/common.py         | 4 ++++
 bin/deepstate/main_manticore.py | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py
index 07832fd..d545387 100644
--- a/bin/deepstate/common.py
+++ b/bin/deepstate/common.py
@@ -128,6 +128,10 @@ class DeepState(object):
         "--klee", action='store_true',
         help="Expect the test binary to use the KLEE API and use `main()` as entry point.")
 
+    parser.add_argument(
+        "--verbosity", default=1, type=int,
+        help="Verbosity level.")
+
     parser.add_argument(
         "binary", type=str, help="Path to the test binary to run.")
 
diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index 11215f2..994a20d 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -447,7 +447,7 @@ def main():
       args.binary, e))
     return 1
 
-  m.verbosity(1)
+  m.verbosity(args.verbosity)
 
   # Hack to get around current broken _get_symbol_address
   m._binary_type = 'not elf'