From 276b4936817168d2787af9da88f2c592c4145c30 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Sat, 22 Dec 2018 20:49:10 -0700
Subject: [PATCH] log in manticore/angr

---
 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 7659fb2..8a52e39 100644
--- a/bin/deepstate/main_angr.py
+++ b/bin/deepstate/main_angr.py
@@ -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)
 
 
diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index e85fab6..1aede3c 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -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"