diff --git a/bin/deepstate/main_angr.py b/bin/deepstate/main_angr.py index cbe101a..a35bd58 100644 --- a/bin/deepstate/main_angr.py +++ b/bin/deepstate/main_angr.py @@ -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): diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py index b545385..0cf7dd5 100644 --- a/bin/deepstate/main_manticore.py +++ b/bin/deepstate/main_manticore.py @@ -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"