From 73db893f63275f149c4ebf2bf31a5acb3a30de8d Mon Sep 17 00:00:00 2001
From: Disconnect3d <disconnect3d@trailofbits.com>
Date: Mon, 17 Jun 2019 16:28:17 +0200
Subject: [PATCH] Update common.py

---
 bin/deepstate/common.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py
index 8994f09..18a6c71 100644
--- a/bin/deepstate/common.py
+++ b/bin/deepstate/common.py
@@ -141,11 +141,11 @@ class DeepState(object):
 
     parser.add_argument(
         "--verbosity", default=1, type=int,
-        help="Verbosity level for symbolic execution tool.")
+        help="Verbosity level for symbolic execution tool (default: 1, lower means less output).")
 
     parser.add_argument(
         "--log_level", default=2, type=int,
-        help="Log level (DeepState logging).")
+        help="DeepState log level (default: 2), 0-6 (debug, trace, info, warning, error, external, critical).")
     
     parser.add_argument(
         "binary", type=str, help="Path to the test binary to run.")