From f51227acd55991b07bba706fcb35253743cd580f Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Tue, 21 Feb 2017 11:41:15 -0500 Subject: [PATCH] Control memory logging with `verbosity` (#23) --- manticore/manticore.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/manticore/manticore.py b/manticore/manticore.py index 5c6db33..a4808d3 100644 --- a/manticore/manticore.py +++ b/manticore/manticore.py @@ -299,9 +299,9 @@ class Manticore(object): levels = [[], [('EXECUTOR', logging.INFO)], [('EXECUTOR', logging.DEBUG), ('MODEL', logging.DEBUG)], - [('EXECUTOR', logging.DEBUG), ('MODEL', logging.DEBUG), ('CPU', logging.DEBUG)], - [('EXECUTOR', logging.DEBUG), ('MODEL', logging.DEBUG), ('CPU', logging.DEBUG)], - [('EXECUTOR', logging.DEBUG), ('MODEL', logging.DEBUG), ('CPU', logging.DEBUG), ('SMTLIB', logging.DEBUG)]] + [('EXECUTOR', logging.DEBUG), ('MODEL', logging.DEBUG), ('MEMORY', logging.DEBUG), ('CPU', logging.DEBUG)], + [('EXECUTOR', logging.DEBUG), ('MODEL', logging.DEBUG), ('MEMORY', logging.DEBUG), ('CPU', logging.DEBUG)], + [('EXECUTOR', logging.DEBUG), ('MODEL', logging.DEBUG), ('MEMORY', logging.DEBUG), ('CPU', logging.DEBUG), ('SMTLIB', logging.DEBUG)]] # Takes a value and ensures it's in a certain range def clamp(val, minimum, maximum): return sorted((minimum, val, maximum))[1]