[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

claripy/ast/bits.py

@@ -43,5 +43,3 @@ def _check_replaceability(old, new):
             raise ClaripyOperationError("replacements must have matching sizes")
 
     __len__ = size
-
-

claripy/ast/bool.py

@@ -11,6 +11,7 @@
 
 _boolv_cache = {}
 
+
 # This is a hilarious hack to get around some sort of bug in z3's python bindings, where
 # under some circumstances stuff gets destructed out of order
 def cleanup():
@@ -20,6 +21,7 @@ def cleanup():
 
 atexit.register(cleanup)
 
+
 class Bool(Base):
     __slots__ = ()
 

claripy/ast/bv.py

@@ -24,7 +24,6 @@ def cleanup():
     del _bvv_cache
 
 
-
 atexit.register(cleanup)
 
 

claripy/ast/fp.py

@@ -9,7 +9,6 @@
 from .bool import Bool
 
 
-
 class FP(Bits):
     """
     An AST representing a set of operations culminating in an IEEE754 floating point number.

claripy/backends/backend_smtlib.py

@@ -37,8 +37,6 @@
 l = logging.getLogger("claripy.backends.backend_smt")
 
 
-
-
 def _expr_to_smtlib(e, daggify=True):
     """
     Dump the symbol in its smt-format depending on its type

claripy/backends/backend_smtlib_solvers/abc_popen.py

@@ -50,5 +50,4 @@ def solver(self, timeout=None, max_memory=None):
         return ABCProxy()
 
 
-
 backend_manager.backends._register_backend(SolverBackendABC(), "smtlib_abc", False, False)

claripy/backends/backend_smtlib_solvers/cvc4_popen.py

@@ -58,5 +58,4 @@ def solver(self, timeout=None, max_memory=None):
         return CVC4Proxy(timeout, max_memory)
 
 
-
 backend_manager.backends._register_backend(SolverBackendCVC4(), "smtlib_cvc4", False, False)

claripy/backends/backend_smtlib_solvers/z3_popen.py

@@ -59,5 +59,4 @@ def solver(self, timeout=None, max_memory=None):
         return Z3Proxy(timeout=timeout, max_memory=max_memory)
 
 
-
 backend_manager.backends._register_backend(SolverBackendZ3(), "smtlib_z3", False, False)

claripy/backends/backend_smtlib_solvers/z3str_popen.py

@@ -59,5 +59,4 @@ def solver(self, timeout=None, max_memory=None):
         return Z3StrProxy(timeout=timeout, max_memory=max_memory)
 
 
-
 backend_manager.backends._register_backend(SolverBackendZ3Str(), "smtlib_z3str", False, False)

claripy/backends/backend_z3.py

@@ -156,7 +156,6 @@ def popitem(self):
 #
 
 
-
 class BackendZ3(Backend):
     _split_on = {"And", "Or"}
 

claripy/backends/backend_z3_parallel.py

@@ -135,5 +135,3 @@ def resolve(self, *args, **kwargs):
 
     def simplify(self, *args, **kwargs):
         return self._synchronize("simplify", *args, **kwargs)
-
-

claripy/balancer.py

@@ -721,4 +721,3 @@ def is_true(a):
 
 def is_false(a):
     return backends.vsa.is_false(a)
-

claripy/fp.py

@@ -478,5 +478,3 @@ def fpIsInf(x):
     Checks whether the argument is a floating point infinity.
     """
     return math.isinf(x)
-
-

claripy/frontend.py

@@ -271,5 +271,3 @@ def _split_constraints(constraints, concrete=True):
             results.append(({"CONCRETE"}, concrete_constraints))
 
         return results
-
-

claripy/frontend_mixins/constraint_expansion_mixin.py

@@ -34,4 +34,3 @@ def solution(self, e, v, extra_constraints=(), exact=None, **kwargs):
         if b is False and len(extra_constraints) == 0:
             self.add([e != v], invalidate_cache=False)
         return b
-

claripy/frontend_mixins/constraint_filter_mixin.py

@@ -1,6 +1,7 @@
 from ..errors import UnsatError, ClaripyValueError
 from .. import false
 
+
 class ConstraintFilterMixin:
     def _constraint_filter(self, constraints, **kwargs):
         if type(constraints) not in (tuple, list):
@@ -65,4 +66,3 @@ def is_true(self, e, extra_constraints=(), **kwargs):
     def is_false(self, e, extra_constraints=(), **kwargs):
         ec = self._constraint_filter(extra_constraints)
         return super().is_false(e, extra_constraints=ec, **kwargs)
-

claripy/frontend_mixins/constraint_fixer_mixin.py

@@ -14,5 +14,3 @@ def add(self, constraints: Union["Bool", List["Bool"], Set["Bool"], Tuple["Bool"
 
         constraints = [BoolV(c) if isinstance(c, bool) else c for c in constraints]
         return super().add(constraints, **kwargs)
-
-

claripy/frontend_mixins/eager_resolution_mixin.py

@@ -1,6 +1,7 @@
 from .. import backends
 from ..errors import BackendError
 
+
 class EagerResolutionMixin:
     def _concrete_value(self, e):
         r = super()._concrete_value(e)
@@ -16,5 +17,3 @@ def _concrete_value(self, e):
         return None
 
     _concrete_constraint = _concrete_value
-
-

claripy/frontend_mixins/eval_string_to_ast_mixin.py

@@ -1,5 +1,6 @@
 from .. import String, StringV
 
+
 class EvalStringsToASTsMixin:
     def eval_to_ast(self, e, n, extra_constraints=(), exact=None):
         if type(e) is String:
@@ -11,5 +12,3 @@ def eval_to_ast(self, e, n, extra_constraints=(), exact=None):
             ]
 
         return super().eval_to_ast(e, n, extra_constraints=extra_constraints, exact=None)
-
-

claripy/frontend_mixins/model_cache_mixin.py

@@ -383,4 +383,3 @@ def solution(self, e, v, extra_constraints=(), **kwargs):
                 return True
 
         return super().solution(e, v, extra_constraints=extra_constraints, **kwargs)
-

claripy/frontend_mixins/sat_cache_mixin.py

@@ -1,6 +1,7 @@
 from .. import false
 from ..errors import UnsatError
 
+
 class SatCacheMixin:
     def __init__(self, *args, **kwargs):
         super().__init__(*args, **kwargs)
@@ -108,5 +109,3 @@ def solution(self, e, v, extra_constraints=(), **kwargs):
             if len(extra_constraints) == 0:
                 self._cached_satness = False
             raise
-
-

claripy/frontends/composite_frontend.py

@@ -19,6 +19,7 @@
 l = logging.getLogger("claripy.frontends.composite_frontend")
 symbolic_count = itertools.count()
 
+
 class CompositeFrontend(ConstrainedFrontend):
     def __init__(self, template_frontend, template_frontend_string, track=False, **kwargs):
         super().__init__(**kwargs)
@@ -518,4 +519,3 @@ def combine(self, others):
 
     def split(self):
         return [s.branch() for s in self._solver_list]
-

claripy/frontends/constrained_frontend.py

@@ -1,4 +1,3 @@
-
 import logging
 
 from ..ast.base import simplify
@@ -9,7 +8,6 @@
 l = logging.getLogger("claripy.frontends.constrained_frontend")
 
 
-
 class ConstrainedFrontend(Frontend):  # pylint:disable=abstract-method
     def __init__(self):
         Frontend.__init__(self)
@@ -153,4 +151,3 @@ def is_true(self, e, extra_constraints=(), exact=None):
 
     def is_false(self, e, extra_constraints=(), exact=None):
         raise NotImplementedError("is_false() is not implemented")
-

claripy/frontends/full_frontend.py

@@ -334,5 +334,3 @@ def merge(self: T, others, merge_conditions, common_ancestor=None) -> Tuple[bool
             self._solver_backend.__class__.__name__ == "BackendZ3",
             ConstrainedFrontend.merge(self, others, merge_conditions, common_ancestor=common_ancestor)[1],
         )
-
-

claripy/frontends/hybrid_frontend.py

@@ -175,5 +175,3 @@ def split(self):
             a.add(e.constraints)
             results.append(HybridFrontend(e, a))
         return results
-
-

claripy/frontends/light_frontend.py

@@ -9,7 +9,6 @@
 l = logging.getLogger("claripy.frontends.light_frontend")
 
 
-
 class LightFrontend(ConstrainedFrontend):
     def __init__(self, solver_backend, **kwargs):
         # since the LightFrontend mostly cannot handle extra_constriants, it horribly misuses the cache.
@@ -102,4 +101,3 @@ def merge(self, others, merge_conditions, common_ancestor=None):
             self._solver_backend.__class__.__name__ == "BackendZ3",
             ConstrainedFrontend.merge(self, others, merge_conditions, common_ancestor=common_ancestor)[1],
         )
-

claripy/frontends/replacement_frontend.py

@@ -15,7 +15,6 @@
 l = logging.getLogger("claripy.frontends.replacement_frontend")
 
 
-
 class ReplacementFrontend(ConstrainedFrontend):
     def __init__(
         self,
@@ -304,4 +303,3 @@ def add(self, constraints, **kwargs):
         self._actual_frontend.add(cr, **kwargs)
 
         return added
-

claripy/vsa/bool_result.py

@@ -209,5 +209,3 @@ def __repr__(self):
 
     def __bool__(self):
         return False
-
-

claripy/vsa/discrete_strided_interval_set.py

@@ -620,5 +620,3 @@ def _update_bits(self, val):
             raise ClaripyVSAOperationError("Unsupported operand type %s." % type(val))
 
         self._bits = val.bits
-
-