From 119360e610c0db5b8cf6de458c2b23ca49c199b8 Mon Sep 17 00:00:00 2001 From: Kevin Phoenix Date: Tue, 24 Sep 2024 14:35:35 -0700 Subject: [PATCH] Remove special identical implementation for BV --- claripy/ast/bv.py | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) 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,