Remove method to check smtlib backend (#513)

* Remove method to check smtlib backend * Improve lint
angr · Sep 23, 2024 · 73eda9a · 73eda9a
1 parent 0cf49e8
commit 73eda9a
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/claripy/backends/backend.py b/claripy/backends/backend.py
@@ -55,6 +55,8 @@ class Backend:
     _convert() to see if the backend can handle that type of object.
     """
 
+    # pylint: disable=too-many-positional-arguments
+
     __slots__ = (
         "_op_raw",
         "_op_expr",
@@ -75,10 +77,6 @@ def __init__(self, solver_required=None):
         self._true_cache = weakref.WeakKeyDictionary()
         self._false_cache = weakref.WeakKeyDictionary()
 
-    @property
-    def is_smt_backend(self):
-        return False
-
     @property
     def _object_cache(self):
         try: