diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 65a7f6e72..1a110d32b 100644 --- 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 index 5a44b4909..d0efe4904 100644 --- 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 index 44ddfd1cf..1cd56cf00 100644 --- 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 index 3575b9a53..5a5a44d8a 100644 --- 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]