add realization interface hooks

pschanely · Jul 7, 2024 · c0a4733 · c0a4733
1 parent da89182
commit c0a4733
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/hypothesis_crosshair_provider/crosshair_provider.py b/hypothesis_crosshair_provider/crosshair_provider.py
@@ -25,6 +25,8 @@
 class CrossHairPrimitiveProvider(PrimitiveProvider):
     """An implementation of PrimitiveProvider based on CrossHair."""
 
+    avoid_realization = True
+
     def __init__(self, *_a, **_kw) -> None:
         self.iteration_number = 0
         self.current_exit_stack: Optional[ExitStack] = None
@@ -293,3 +295,6 @@ def export_value(self, value):
 
     def post_test_case_hook(self, val):
         return self.export_value(val)
+
+    def realize(self, value):
+        return self.export_value(value)