Implement __eq__ for UninitializedAnnotation

angr · Dec 19, 2024 · 7b717e1 · 7b717e1
1 parent f325b2c
commit 7b717e1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/claripy/annotation.py b/claripy/annotation.py
@@ -139,5 +139,8 @@ class UninitializedAnnotation(Annotation):
     def __hash__(self):
         return hash("uninitialized")
 
+    def __eq__(self, other):
+        return isinstance(other, UninitializedAnnotation)
+
     def __repr__(self):
         return "<UninitializedAnnotation>"