remove naked print from executor.py (#410)

2017-07-21 16:03:26 -04:00 · 2017-07-21 16:03:26 -04:00 · d1ead7a7be
commit d1ead7a7be
parent 8d19dc507d
1 changed files with 2 additions and 2 deletions
--- a/manticore/core/executor.py
+++ b/manticore/core/executor.py
@ -373,8 +373,8 @@ class Executor(object):

                    except SolverException as e:
                        import traceback
-                        print "*** print_exc:"
-                        traceback.print_exc()
+                        trace = traceback.format_exc()
+                        logger.error("Exception: %s\n%s", str(e), trace)

                        #Notify this state is done
                        self.will_terminate_state(current_state, current_state_id, e)