DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

log in manticore/angr

Browse Source
This commit is contained in:
Alex Groce
2018-12-22 20:49:10 -07:00
parent 3590a6025c
commit 276b493681
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bin/deepstate/main_angr.py
+1 -1
View File
@@ -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)
bin/deepstate/main_manticore.py
+2 -2
View File
@@ -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"