Skip to content

Commit 53a7a76

Browse files
committed
Remove special identical implementation for BV
1 parent 06eb310 commit 53a7a76

File tree

1 file changed

+1
-9
lines changed

1 file changed

+1
-9
lines changed

claripy/ast/bv.py

Lines changed: 1 addition & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -3,14 +3,11 @@
33
import logging
44
import numbers
55
import weakref
6-
from contextlib import suppress
7-
8-
from typing_extensions import Self
96

107
import claripy
118
from claripy import operations
129
from claripy.ast.base import _make_name
13-
from claripy.errors import BackendError, ClaripyValueError
10+
from claripy.errors import ClaripyValueError
1411
from claripy.util import deprecated
1512

1613
from .bits import Bits
@@ -190,11 +187,6 @@ def raw_to_bv(self):
190187
def to_bv(self):
191188
return self.raw_to_bv()
192189

193-
def identical(self, other: Self, strict=False) -> bool:
194-
with suppress(BackendError):
195-
return claripy.backends.vsa.convert(self).identical(claripy.backends.vsa.convert(other))
196-
return super().identical(other, strict)
197-
198190

199191
def BVS( # pylint:disable=redefined-builtin
200192
name,

0 commit comments

Comments
 (0)