diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py index 1ee596b..c649249 100644 --- a/bin/deepstate/common.py +++ b/bin/deepstate/common.py @@ -137,8 +137,12 @@ class DeepState(object): parser.add_argument( "--verbosity", default=1, type=int, - help="Verbosity level.") + help="Verbosity level for symbolic execution tool.") + parser.add_argument( + "--log_level", default=2, type=int, + help="Log level (DeepState logging).") + parser.add_argument( "binary", type=str, help="Path to the test binary to run.") @@ -240,7 +244,7 @@ class DeepState(object): self.context['stream_{}'.format(level)] = [] self.context['info'] = info - self.log_message(LOG_LEVEL_INFO, "Running {} from {}({})".format( + self.log_message(LOG_LEVEL_TRACE, "Running {} from {}({})".format( info.name, info.file_name, info.line_number)) apis = self.context['apis'] @@ -385,7 +389,7 @@ class DeepState(object): # Print out the first few input bytes to be helpful. lots_of_bytes = len(input_bytes) > 20 and " ..." or "" bytes_to_show = min(20, len(input_bytes)) - LOGGER.info("Input: {}{}".format( + LOGGER.trace("Input: {}{}".format( " ".join("{:02x}".format(b) for b in input_bytes[:bytes_to_show]), lots_of_bytes)) @@ -494,7 +498,7 @@ class DeepState(object): self.api_fail() else: info = self.context['info'] - self.log_message(LOG_LEVEL_INFO, "Passed: {}".format(info.name)) + self.log_message(LOG_LEVEL_TRACE, "Passed: {}".format(info.name)) self.pass_test() def api_crash(self):