From b449111ecfec6a619f49cf3576e132146dc79a7c Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Wed, 2 Jan 2019 16:08:48 -0700 Subject: [PATCH] set default log level in symex --- bin/deepstate/common.py | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/bin/deepstate/common.py b/bin/deepstate/common.py index c649249..9eefc6f 100644 --- a/bin/deepstate/common.py +++ b/bin/deepstate/common.py @@ -260,6 +260,17 @@ class DeepState(object): # Create the output directory for this test case. args = self.parse_args() + + logging_levels = { + LOG_LEVEL_DEBUG: logging.DEBUG, + LOG_LEVEL_TRACE: logging.TRACE, + LOG_LEVEL_INFO: logging.INFO, + LOG_LEVEL_WARNING: logging.WARNING, + LOG_LEVEL_ERROR: logging.ERROR, + LOG_LEVEL_FATAL: logging.CRITICAL + } + LOGGER.setLevel(logging_levels[args.log_level]) + if args.output_test_dir is not None: test_dir = os.path.join(args.output_test_dir, os.path.basename(info.file_name),