diff --git a/bin/deepstate/main_angr.py b/bin/deepstate/main_angr.py index 99891f9..7659fb2 100644 --- a/bin/deepstate/main_angr.py +++ b/bin/deepstate/main_angr.py @@ -19,8 +19,12 @@ import multiprocessing import traceback from .common import DeepState, TestInfo +logging.addLevelName(15, "TRACE") L = logging.getLogger("deepstate.angr") -L.setLevel(logging.TRACE) +def log_trace(msg, *args, **kwargs): + logging.log(15, msg, args, kwargs) +L.TRACE = log_trace +L.setLevel(L.TRACE) class DeepAngr(DeepState): diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py index cd5b8e3..e85fab6 100644 --- a/bin/deepstate/main_manticore.py +++ b/bin/deepstate/main_manticore.py @@ -31,9 +31,12 @@ from .common import DeepState, TestInfo from manticore.core.state import TerminateState - -L = logging.getLogger("deepstate.mcore") -L.setLevel(logging.TRACE) +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.setLevel(L.TRACE) OUR_TERMINATION_REASON = "I DeepState'd it"