Export annotation and UninitializedAnnotation from claripy (#584)

angr · Jan 2, 2025 · ba114e0 · ba114e0
1 parent 0f437a4
commit ba114e0
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/claripy/__init__.py b/claripy/__init__.py
@@ -1,8 +1,8 @@
 from __future__ import annotations
 
-from claripy import algorithm, ast, backends
+from claripy import algorithm, annotation, ast, backends
 from claripy.algorithm import burrow_ite, excavate_ite, is_false, is_true, replace, replace_dict, simplify
-from claripy.annotation import Annotation, RegionAnnotation, SimplificationAvoidanceAnnotation
+from claripy.annotation import Annotation, RegionAnnotation, SimplificationAvoidanceAnnotation, UninitializedAnnotation
 from claripy.ast.bool import (
     And,
     BoolS,
@@ -172,10 +172,12 @@
     "StrToInt",
     "StringS",
     "StringV",
+    "UninitializedAnnotation",
     "UnsatError",
     "ValueSet",
     "ZeroExt",
     "algorithm",
+    "annotation",
     "ast",
     "backends",
     "burrow_ite",