diff --git a/claripy/ast/bv.py b/claripy/ast/bv.py index f21e13df7..57cbe0a41 100644 --- a/claripy/ast/bv.py +++ b/claripy/ast/bv.py @@ -3,14 +3,11 @@ import logging import numbers import weakref -from contextlib import suppress - -from typing_extensions import Self import claripy from claripy import operations from claripy.ast.base import _make_name -from claripy.errors import BackendError, ClaripyValueError +from claripy.errors import ClaripyValueError from claripy.util import deprecated from .bits import Bits @@ -190,11 +187,6 @@ def raw_to_bv(self): def to_bv(self): return self.raw_to_bv() - def identical(self, other: Self, strict=False) -> bool: - with suppress(BackendError): - return claripy.backends.vsa.convert(self).identical(claripy.backends.vsa.convert(other)) - return super().identical(other, strict) - def BVS( # pylint:disable=redefined-builtin name,