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'