diff --git a/manticore/manticore.py b/manticore/manticore.py index 4092aeb..93507de 100644 --- a/manticore/manticore.py +++ b/manticore/manticore.py @@ -314,7 +314,9 @@ class Manticore(object): @verbosity.setter def verbosity(self, setting): - levels = [[], + zero = map(lambda x: (x, logging.ERROR), + ['MANTICORE', 'VISITOR', 'EXECUTOR', 'CPU', 'REGISTERS', 'SMT', 'MEMORY', 'MAIN', 'PLATFORM']) + levels = [zero, [('MAIN', logging.INFO), ('EXECUTOR', logging.INFO)], [('PLATFORM', logging.DEBUG)], [('MEMORY', logging.DEBUG), ('CPU', logging.DEBUG)],