Suppress errors for proxy-intolerant C functions

hypothesis_crosshair_provider/__init__.py

@@ -10,6 +10,6 @@ def _hypothesis_setup_hook(*a, **kw):
             "This version of hypothesis doesn't support the CrossHair backend"
         )
         return
-    AVAILABLE_PROVIDERS[
-        "crosshair"
-    ] = "hypothesis_crosshair_provider.crosshair_provider.CrossHairPrimitiveProvider"
+    AVAILABLE_PROVIDERS["crosshair"] = (
+        "hypothesis_crosshair_provider.crosshair_provider.CrossHairPrimitiveProvider"
+    )

hypothesis_crosshair_provider/crosshair_provider.py

@@ -13,7 +13,8 @@
                             StateSpaceContext, UnexploredPath,
                             VerificationStatus, condition_parser,
                             context_statespace, get_current_parser, is_tracing,
-                            proxy_for_type)
+                            proxy_for_type,
+                            suspected_proxy_intolerance_exception)
 from crosshair.libimpl.builtinslib import (LazyIntSymbolicStr,
                                            SymbolicBoundedIntTuple)
 from crosshair.statespace import DeatchedPathNode
@@ -129,6 +130,11 @@ def per_test_case_context_manager(self):
                     raise exc
         except (IgnoreAttempt, UnexploredPath):
             pass
+        except TypeError as exc:
+            if suspected_proxy_intolerance_exception(exc):
+                pass
+            else:
+                raise
         finally:
             self._previous_space = space
             if any_choices_made:

hypothesis_crosshair_provider/end_to_end_test.py

@@ -1,4 +1,5 @@
 import math
+import os
 import re
 
 import pytest
@@ -124,3 +125,13 @@ def a(self):
         @rule()
         def b(self):
             pass
+
+
+def test_proxy_intolerance():
+    @settings(backend="crosshair")
+    @given(st.text())
+    def f(t):
+        # ideally we keep this up-to-date with some C function that will not accept symbolics:
+        os.fspath(t)
+
+    f()

setup.py

@@ -2,7 +2,7 @@
 
 setuptools.setup(
     name="hypothesis-crosshair",
-    version="0.0.8",
+    version="0.0.9",
     author="Phillip Schanely",
     author_email="[email protected]",
     packages=setuptools.find_packages(),
@@ -11,7 +11,7 @@
     description="Level-up your Hypothesis tests with CrossHair.",
     long_description=open("README.md", encoding="utf-8").read(),
     long_description_content_type="text/markdown",
-    install_requires=["hypothesis>=6.104.2", "crosshair-tool>=0.0.58"],
+    install_requires=["hypothesis>=6.104.2", "crosshair-tool>=0.0.63"],
     python_requires=">=3.8",
     entry_points={
         "hypothesis": ["_ = hypothesis_crosshair_provider:_hypothesis_setup_hook"]