From 12c23f78b9a24fb0a7b64c44f0b490c0aeb89bb4 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Sun, 23 Dec 2018 13:13:08 -0700
Subject: [PATCH] restore old manticore/angr code

---
 bin/deepstate/main_angr.py      | 2 +-
 bin/deepstate/main_manticore.py | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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"