DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Update common.py

Browse Source
This commit is contained in:
Disconnect3d
2019-06-17 16:28:17 +02:00
committed by GitHub
parent fcd01307ad
commit 73db893f63
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
bin/deepstate/common.py
View File

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