CC

Author: ekilmer

manticore/core/smtlib/visitors.py

@@ -5,8 +5,10 @@
 from .expression import *
 from functools import lru_cache
 import copy
+import io
 import logging
 import operator
+import time
 import math
 from decimal import Decimal
 
@@ -211,9 +213,6 @@ def get_depth(exp):
     return visitor.result
 
 
-import io
-
-
 class PrettyPrinter(Visitor):
     def __init__(self, depth=None, **kwargs):
         super().__init__(**kwargs)
@@ -807,9 +806,6 @@ def visit_Expression(self, expression, *operands):
         return expression
 
 
-import time
-
-
 @lru_cache(maxsize=128, typed=True)
 def arithmetic_simplify(expression):
     start = time.time()