added verbosity command line flag (manticore)

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.")
 

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'