From 3bf529c371595dd36b411d73a4868cb16dff83dd Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Mon, 19 Jun 2017 16:50:11 -0400 Subject: [PATCH] Activate executor debug logging with verbosity=2 (#310) Currently, we no verbosity level do we activate debug level logging from the executor, however there is significant debug logging in the executor for state forking output. --- manticore/manticore.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manticore/manticore.py b/manticore/manticore.py index b0d74d7..aa5b9d2 100644 --- a/manticore/manticore.py +++ b/manticore/manticore.py @@ -271,7 +271,7 @@ class Manticore(object): @verbosity.setter def verbosity(self, setting): levels = [[], - [('MAIN', logging.INFO), ('EXECUTOR', logging.INFO)], + [('MAIN', logging.INFO), ('EXECUTOR', logging.DEBUG)], [('PLATFORM', logging.DEBUG)], [('MEMORY', logging.DEBUG), ('CPU', logging.DEBUG)], [('REGISTERS', logging.DEBUG)],