DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

restore old manticore/angr code

Browse Source
This commit is contained in:
Alex Groce
2018-12-23 13:13:08 -07:00
parent fca5c8795b
commit 12c23f78b9
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
@@ -20,7 +20,7 @@ import traceback
from .common import DeepState, TestInfo
L = logging.getLogger("deepstate.angr")
L.setLevel(logging.DEBUG)
L.setLevel(logging.INFO)
class DeepAngr(DeepState):
bin/deepstate/main_manticore.py
+2 -2
View File
@@ -31,8 +31,8 @@ from .common import DeepState, TestInfo
from manticore.core.state import TerminateState
L = logging.getLogger("deepstate.manticore")
L.setLevel(logging.DEBUG)
L = logging.getLogger("deepstate.mcore")
L.setLevel(logging.INFO)
OUR_TERMINATION_REASON = "I DeepState'd it"