DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

set level

Browse Source
This commit is contained in:
Alex Groce
2018-12-22 19:53:02 -07:00
parent 7fb1a04a4a
commit 55644b534e
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
bin/deepstate/main_angr.py
View File

@@ -20,7 +20,7 @@ import traceback
from .common import DeepState, TestInfo
L = logging.getLogger("deepstate.angr")
L.setLevel(logging.INFO)
L.setLevel(logging.TRACE)
class DeepAngr(DeepState):

2
bin/deepstate/main_manticore.py
View File

@@ -33,7 +33,7 @@ from manticore.core.state import TerminateState
L = logging.getLogger("deepstate.mcore")
L.setLevel(logging.INFO)
L.setLevel(logging.TRACE)
OUR_TERMINATION_REASON = "I DeepState'd it"