Add an import to ensure that we override Manticore's logger (#48 #52)

crytic · Feb 8, 2019 · c3f9179 · c3f9179
1 parent ee1a4d5
commit c3f9179
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/etheno/manticoreutils.py b/etheno/manticoreutils.py
@@ -2,6 +2,11 @@
 import itertools
 import pkg_resources
 
+# Import manticoreclient before we load any actual Manticore classes.
+# We don't need it here, but we do rely on it to hook in the Manticore loggers:
+from . import manticoreclient
+del manticoreclient
+
 from manticore.core.smtlib.operators import AND
 from manticore.ethereum import ManticoreEVM, Detector
 import manticore.ethereum.detectors