[pre-commit.ci] pre-commit autoupdate (#409)

* [pre-commit.ci] pre-commit autoupdate updates: - [github.com/astral-sh/ruff-pre-commit: v0.5.1 → v0.5.2](astral-sh/ruff-pre-commit@v0.5.1...v0.5.2) * Apply ruff fixes --------- Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com> Co-authored-by: Kevin Phoenix <[email protected]>
angr · Jul 15, 2024 · 5656a57 · 5656a57
1 parent 8ec91dd
commit 5656a57
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -94,6 +94,6 @@ repos:
     -   id: check-docstring-first
 
 -   repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.5.1
+    rev: v0.5.2
     hooks:
     - id: ruff
diff --git a/claripy/ast/base.py b/claripy/ast/base.py
@@ -947,7 +947,7 @@ def structurally_match(self: T, o: T) -> bool:
 
         for arg_a, arg_b in zip(self.args, o.args):
             if not isinstance(arg_a, Base):
-                if type(arg_a) != type(arg_b):
+                if type(arg_a) != type(arg_b):  # noqa: E721
                     return False
                 # They are not ASTs
                 if arg_a != arg_b:

diff --git a/claripy/backends/backend_vsa.py b/claripy/backends/backend_vsa.py
@@ -212,7 +212,7 @@ def simplify(self, e):
         raise BackendError("nope")
 
     def _identical(self, a, b):
-        if type(a) != type(b):
+        if type(a) != type(b):  # noqa: E721
             return False
         return a.identical(b)
 

diff --git a/tests/test_backend_smt_congruency.py b/tests/test_backend_smt_congruency.py
@@ -8,7 +8,7 @@
 
 
 def solution_ast(var, val):
-    if type(var) == claripy.ast.strings.String:
+    if isinstance(var, claripy.ast.strings.String):
         return claripy.StringV(val)
     return (var == val).args[1]