diff --git a/bin/deepstate/main_angr.py b/bin/deepstate/main_angr.py index 7659fb2..8a52e39 100644 --- a/bin/deepstate/main_angr.py +++ b/bin/deepstate/main_angr.py @@ -23,7 +23,7 @@ logging.addLevelName(15, "TRACE") L = logging.getLogger("deepstate.angr") def log_trace(msg, *args, **kwargs): logging.log(15, msg, args, kwargs) -L.TRACE = log_trace +L.TRACE = 15 L.setLevel(L.TRACE) diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py index e85fab6..1aede3c 100644 --- a/bin/deepstate/main_manticore.py +++ b/bin/deepstate/main_manticore.py @@ -32,10 +32,10 @@ from .common import DeepState, TestInfo from manticore.core.state import TerminateState logging.addLevelName(15, "TRACE") -L = logging.getLogger("deepstate.angr") +L = logging.getLogger("deepstate.manticore") def log_trace(msg, *args, **kwargs): logging.log(15, msg, args, kwargs) -L.TRACE = log_trace +L.TRACE = 15 L.setLevel(L.TRACE) OUR_TERMINATION_REASON = "I DeepState'd it"