schemathesis 4.3.13__py3-none-any.whl → 4.3.14__py3-none-any.whl

schemathesis/engine/errors.py

@@ -128,9 +128,6 @@ class EngineErrorInfo:
         if self._kind == RuntimeErrorKind.HYPOTHESIS_HEALTH_CHECK_LARGE_BASE_EXAMPLE:
             return HEALTH_CHECK_MESSAGE_LARGE_BASE_EXAMPLE
 
-        if self._kind == RuntimeErrorKind.HYPOTHESIS_UNSATISFIABLE:
-            return f"{self._error}. Possible reasons:"
-
         if self._kind in (
             RuntimeErrorKind.SCHEMA_INVALID_REGULAR_EXPRESSION,
             RuntimeErrorKind.SCHEMA_GENERIC,
@@ -147,13 +144,6 @@ class EngineErrorInfo:
         if isinstance(self._error, requests.RequestException):
             return get_request_error_extras(self._error)
 
-        if self._kind == RuntimeErrorKind.HYPOTHESIS_UNSATISFIABLE:
-            return [
-                "- Contradictory schema constraints, such as a minimum value exceeding the maximum.",
-                "- Invalid schema definitions for headers or cookies, for example allowing for non-ASCII characters.",
-                "- Excessive schema complexity, which hinders parameter generation.",
-            ]
-
         return []
 
     @cached_property
@@ -247,7 +237,7 @@ def get_runtime_error_suggestion(error_type: RuntimeErrorKind, bold: Callable[[s
 
     return {
         RuntimeErrorKind.CONNECTION_SSL: f"Bypass SSL verification with {bold('`--tls-verify=false`')}.",
-        RuntimeErrorKind.HYPOTHESIS_UNSATISFIABLE: "Examine the schema for inconsistencies and consider simplifying it.",
+        RuntimeErrorKind.HYPOTHESIS_UNSATISFIABLE: "Review all parameters and request body schemas for conflicting constraints.",
         RuntimeErrorKind.SCHEMA_NO_LINKS_FOUND: "Review your endpoint filters to include linked operations",
         RuntimeErrorKind.SCHEMA_INVALID_REGULAR_EXPRESSION: "Ensure your regex is compatible with Python's syntax.\n"
         "For guidance, visit: https://docs.python.org/3/library/re.html",

schemathesis/engine/phases/unit/_executor.py

@@ -54,7 +54,7 @@ from schemathesis.generation.hypothesis.builder import (
     UnresolvableReferenceMark,
     UnsatisfiableExampleMark,
 )
-from schemathesis.generation.hypothesis.reporting import ignore_hypothesis_output
+from schemathesis.generation.hypothesis.reporting import build_unsatisfiable_error, ignore_hypothesis_output
 
 if TYPE_CHECKING:
     from schemathesis.schemas import APIOperation
@@ -165,7 +165,7 @@ def run_test(
     except hypothesis.errors.Unsatisfiable:
         # We need more clear error message here
         status = Status.ERROR
-        yield non_fatal_error(hypothesis.errors.Unsatisfiable("Failed to generate test cases for this API operation"))
+        yield non_fatal_error(build_unsatisfiable_error(operation, with_tip=False))
     except KeyboardInterrupt:
         yield scenario_finished(Status.INTERRUPTED)
         yield events.Interrupted(phase=phase)

schemathesis/generation/hypothesis/builder.py

@@ -121,6 +121,8 @@ def create_test(
         kwargs=config.given_kwargs,
     )
 
+    ApiOperationMark.set(hypothesis_test, operation)
+
     if config.seed is not None:
         hypothesis_test = hypothesis.seed(config.seed)(hypothesis_test)
 
@@ -957,3 +959,4 @@ InvalidHeadersExampleMark = Mark[dict[str, str]](attr_name="invalid_example_head
 MissingPathParameters = Mark[InvalidSchema](attr_name="missing_path_parameters")
 InfiniteRecursiveReferenceMark = Mark[InfiniteRecursiveReference](attr_name="infinite_recursive_reference")
 UnresolvableReferenceMark = Mark[UnresolvableReference](attr_name="unresolvable_reference")
+ApiOperationMark = Mark[APIOperation](attr_name="api_operation")

schemathesis/generation/hypothesis/reporting.py

@@ -1,8 +1,21 @@
+from __future__ import annotations
+
 from contextlib import contextmanager
-from typing import Generator
+from dataclasses import dataclass
+from typing import TYPE_CHECKING, Any, Generator
 
+from hypothesis.errors import Unsatisfiable
 from hypothesis.reporting import with_reporter
 
+from schemathesis.config import OutputConfig
+from schemathesis.core.jsonschema.types import JsonSchema
+from schemathesis.core.output import truncate_json
+from schemathesis.core.parameters import ParameterLocation
+from schemathesis.generation.hypothesis.examples import generate_one
+
+if TYPE_CHECKING:
+    from schemathesis.schemas import APIOperation
+
 
 def ignore(_: str) -> None:
     pass
@@ -12,3 +25,121 @@ def ignore(_: str) -> None:
 def ignore_hypothesis_output() -> Generator:
     with with_reporter(ignore):  # type: ignore
         yield
+
+
+UNSATISFIABILITY_CAUSE = """  - Type mismatch (e.g., enum with strings but type: integer)
+  - Contradictory constraints (e.g., minimum > maximum)
+  - Regex that's too complex to generate values for"""
+
+GENERIC_UNSATISFIABLE_MESSAGE = f"""Cannot generate test data for this operation
+
+Unable to identify the specific parameter. Common causes:
+{UNSATISFIABILITY_CAUSE}"""
+
+
+@dataclass
+class UnsatisfiableParameter:
+    location: ParameterLocation
+    name: str
+    schema: JsonSchema
+
+    __slots__ = ("location", "name", "schema")
+
+    def get_error_message(self, config: OutputConfig) -> str:
+        formatted_schema = truncate_json(self.schema, config=config)
+
+        if self.location == ParameterLocation.BODY:
+            # For body, name is the media type
+            location = f"request body ({self.name})"
+        else:
+            location = f"{self.location.value} parameter '{self.name}'"
+
+        return f"""Cannot generate test data for {location}
+Schema:
+
+{formatted_schema}
+
+This usually means:
+{UNSATISFIABILITY_CAUSE}"""
+
+
+def find_unsatisfiable_parameter(operation: APIOperation) -> UnsatisfiableParameter | None:
+    from hypothesis_jsonschema import from_schema
+
+    for location, container in (
+        (ParameterLocation.QUERY, operation.query),
+        (ParameterLocation.PATH, operation.path_parameters),
+        (ParameterLocation.HEADER, operation.headers),
+        (ParameterLocation.COOKIE, operation.cookies),
+        (ParameterLocation.BODY, operation.body),
+    ):
+        for parameter in container:
+            try:
+                generate_one(from_schema(parameter.optimized_schema))
+            except Unsatisfiable:
+                if location == ParameterLocation.BODY:
+                    name = parameter.media_type
+                else:
+                    name = parameter.name
+                schema = unbundle_schema_refs(parameter.optimized_schema, parameter.name_to_uri)
+                return UnsatisfiableParameter(location=location, name=name, schema=schema)
+    return None
+
+
+def unbundle_schema_refs(schema: JsonSchema | list[JsonSchema], name_to_uri: dict[str, str]) -> JsonSchema:
+    if isinstance(schema, dict):
+        result: dict[str, Any] = {}
+        for key, value in schema.items():
+            if key == "$ref" and isinstance(value, str) and value.startswith("#/x-bundled/"):
+                # Extract bundled name (e.g., "schema1" from "#/x-bundled/schema1")
+                bundled_name = value.split("/")[-1]
+                if bundled_name in name_to_uri:
+                    original_uri = name_to_uri[bundled_name]
+                    # Extract fragment after # (e.g., "#/components/schemas/ObjectType")
+                    if "#" in original_uri:
+                        result[key] = "#" + original_uri.split("#", 1)[1]
+                    else:
+                        # Fallback if no fragment
+                        result[key] = value
+                else:
+                    result[key] = value
+            elif key == "x-bundled" and isinstance(value, dict):
+                # Replace x-bundled with proper components/schemas structure
+                components: dict[str, dict[str, Any]] = {"schemas": {}}
+                for bundled_name, bundled_schema in value.items():
+                    if bundled_name in name_to_uri:
+                        original_uri = name_to_uri[bundled_name]
+                        # Extract schema name (e.g., "ObjectType" from "...#/components/schemas/ObjectType")
+                        if "#/components/schemas/" in original_uri:
+                            schema_name = original_uri.split("#/components/schemas/")[1]
+                            components["schemas"][schema_name] = unbundle_schema_refs(bundled_schema, name_to_uri)
+                        else:
+                            # Fallback: keep bundled name if URI doesn't match expected pattern
+                            components["schemas"][bundled_name] = unbundle_schema_refs(bundled_schema, name_to_uri)
+                    else:
+                        components["schemas"][bundled_name] = unbundle_schema_refs(bundled_schema, name_to_uri)
+                result["components"] = components
+            elif isinstance(value, (dict, list)):
+                # Recursively process all other values
+                result[key] = unbundle_schema_refs(value, name_to_uri)
+            else:
+                result[key] = value
+        return result
+    elif isinstance(schema, list):
+        return [unbundle_schema_refs(item, name_to_uri) for item in schema]  # type: ignore
+    return schema
+
+
+def build_unsatisfiable_error(operation: APIOperation, *, with_tip: bool) -> Unsatisfiable:
+    __tracebackhide__ = True
+    unsatisfiable = find_unsatisfiable_parameter(operation)
+
+    if unsatisfiable is not None:
+        message = unsatisfiable.get_error_message(operation.schema.config.output)
+    else:
+        message = GENERIC_UNSATISFIABLE_MESSAGE
+
+    if with_tip:
+        message += "\n\nTip: Review all parameters and request body schemas for conflicting constraints"
+
+    return Unsatisfiable(message)

schemathesis/pytest/plugin.py

@@ -34,7 +34,7 @@ from schemathesis.generation.hypothesis.given import (
     merge_given_args,
     validate_given_args,
 )
-from schemathesis.generation.hypothesis.reporting import ignore_hypothesis_output
+from schemathesis.generation.hypothesis.reporting import build_unsatisfiable_error, ignore_hypothesis_output
 from schemathesis.pytest.control_flow import fail_on_no_matches
 from schemathesis.schemas import APIOperation
 
@@ -293,6 +293,7 @@ def pytest_pyfunc_call(pyfuncitem):  # type:ignore
     For example - kwargs validation is failed for some strategy.
     """
     from schemathesis.generation.hypothesis.builder import (
+        ApiOperationMark,
         InvalidHeadersExampleMark,
         InvalidRegexMark,
         MissingPathParameters,
@@ -327,6 +328,10 @@ def pytest_pyfunc_call(pyfuncitem):  # type:ignore
             if invalid_headers is not None:
                 raise InvalidHeadersExample.from_headers(invalid_headers) from None
             pytest.skip(exc.args[0])
+        except Unsatisfiable:
+            operation = ApiOperationMark.get(pyfuncitem.obj)
+            assert operation is not None
+            raise build_unsatisfiable_error(operation, with_tip=True) from None
         except SchemaError as exc:
             raise InvalidRegexPattern.from_schema_error(exc, from_examples=False) from exc
 

schemathesis/specs/graphql/schemas.py

@@ -19,9 +19,7 @@ from typing import (
 )
 from urllib.parse import urlsplit
 
-import graphql
 from hypothesis import strategies as st
-from hypothesis_graphql import strategies as gql_st
 from requests.structures import CaseInsensitiveDict
 
 from schemathesis import auths
@@ -52,6 +50,7 @@ from schemathesis.schemas import (
 from .scalars import CUSTOM_SCALARS, get_extra_scalar_strategies
 
 if TYPE_CHECKING:
+    import graphql
     from hypothesis.strategies import SearchStrategy
 
     from schemathesis.auths import AuthStorage
@@ -143,6 +142,8 @@ class GraphQLSchema(BaseSchema):
 
     @property
     def client_schema(self) -> graphql.GraphQLSchema:
+        import graphql
+
         if not hasattr(self, "_client_schema"):
             self._client_schema = graphql.build_client_schema(self.raw_schema)
         return self._client_schema
@@ -336,6 +337,9 @@ def graphql_cases(
     media_type: str | None = None,
     phase: TestPhase = TestPhase.FUZZING,
 ) -> Any:
+    import graphql
+    from hypothesis_graphql import strategies as gql_st
+
     start = time.monotonic()
     definition = cast(GraphQLOperationDefinition, operation.definition)
     strategy_factory = {

{schemathesis-4.3.13.dist-info → schemathesis-4.3.14.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: schemathesis
-Version: 4.3.13
+Version: 4.3.14
 Summary: Property-based testing framework for Open API and GraphQL based apps
 Project-URL: Documentation, https://schemathesis.readthedocs.io/en/stable/
 Project-URL: Changelog, https://github.com/schemathesis/schemathesis/blob/master/CHANGELOG.md

{schemathesis-4.3.13.dist-info → schemathesis-4.3.14.dist-info}/RECORD

@@ -79,7 +79,7 @@ schemathesis/engine/__init__.py,sha256=QaFE-FinaTAaarteADo2RRMJ-Sz6hZB9TzD5KjMin
 schemathesis/engine/context.py,sha256=YaBfwTUyTCZaMq7-jtAKFQj-Eh1aQdbZ0UNcC5d_epU,5792
 schemathesis/engine/control.py,sha256=FXzP8dxL47j1Giqpy2-Bsr_MdMw9YiATSK_UfpFwDtk,1348
 schemathesis/engine/core.py,sha256=qlPHnZVq2RrUe93fOciXd1hC3E1gVyF2BIWMPMeLIj8,6655
-schemathesis/engine/errors.py,sha256=FlpEk44WRLzRkdK9m37z93EQuY3kbeMIQRGwU5e3Qm4,19005
+schemathesis/engine/errors.py,sha256=Vg64E97RS--IH6bXPPkQTDl2vw1DbasveCfL037JALU,18478
 schemathesis/engine/events.py,sha256=jpCtMkWWfNe2jUeZh_Ly_wfZEF44EOodL-I_W4C9rgg,6594
 schemathesis/engine/observations.py,sha256=T-5R8GeVIqvxpCMxc6vZ04UUxUTx3w7689r3Dc6bIcE,1416
 schemathesis/engine/recorder.py,sha256=KWyWkGkZxIwSDU92jNWCJXU4G4E5WqfhLM6G1Yi7Jyo,8636
@@ -89,7 +89,7 @@ schemathesis/engine/phases/stateful/__init__.py,sha256=Lz1rgNqCfUSIz173XqCGsiMuU
 schemathesis/engine/phases/stateful/_executor.py,sha256=yRpUJqKLTKMVRy7hEXPwmI23CtgGIprz341lCJwvTrU,15613
 schemathesis/engine/phases/stateful/context.py,sha256=A7X1SLDOWFpCvFN9IiIeNVZM0emjqatmJL_k9UsO7vM,2946
 schemathesis/engine/phases/unit/__init__.py,sha256=9dDcxyj887pktnE9YDIPNaR-vc7iqKQWIrFr77SbUTQ,8786
-schemathesis/engine/phases/unit/_executor.py,sha256=4wr7POpPfeI7_Mx6i2pk2efyK1FxKGjXdMwi_MURTDU,17427
+schemathesis/engine/phases/unit/_executor.py,sha256=8ryOJuAXulDum3NDR2w-ey1x7wSrEmdR9dnpL8vOcsY,17419
 schemathesis/engine/phases/unit/_pool.py,sha256=iU0hdHDmohPnEv7_S1emcabuzbTf-Cznqwn0pGQ5wNQ,2480
 schemathesis/generation/__init__.py,sha256=tvNO2FLiY8z3fZ_kL_QJhSgzXfnT4UqwSXMHCwfLI0g,645
 schemathesis/generation/case.py,sha256=SLMw6zkzmeiZdaIij8_0tjTF70BrMlRSWREaqWii0uM,12508
@@ -99,10 +99,10 @@ schemathesis/generation/metrics.py,sha256=cZU5HdeAMcLFEDnTbNE56NuNq4P0N4ew-g1NEz
 schemathesis/generation/modes.py,sha256=Q1fhjWr3zxabU5qdtLvKfpMFZJAwlW9pnxgenjeXTyU,481
 schemathesis/generation/overrides.py,sha256=xI2djHsa42fzP32xpxgxO52INixKagf5DjDAWJYswM8,3890
 schemathesis/generation/hypothesis/__init__.py,sha256=68BHULoXQC1WjFfw03ga5lvDGZ-c-J7H_fNEuUzFWRw,4976
-schemathesis/generation/hypothesis/builder.py,sha256=pnPfJIXBYKyju98xiGUvavh5W2xvuO89RO_NOsvdxYQ,38443
+schemathesis/generation/hypothesis/builder.py,sha256=N9UiJfwUplmrCLsROHQtirm1UPt_TDqUiLv4as2qAjU,38562
 schemathesis/generation/hypothesis/examples.py,sha256=6eGaKUEC3elmKsaqfKj1sLvM8EHc-PWT4NRBq4NI0Rs,1409
 schemathesis/generation/hypothesis/given.py,sha256=sTZR1of6XaHAPWtHx2_WLlZ50M8D5Rjux0GmWkWjDq4,2337
-schemathesis/generation/hypothesis/reporting.py,sha256=uDVow6Ya8YFkqQuOqRsjbzsbyP4KKfr3jA7ZaY4FuKY,279
+schemathesis/generation/hypothesis/reporting.py,sha256=8MUT_HC_iUJ8aVfxEVQ7aPTLx2ZwqOMnTucxfP5qblM,5863
 schemathesis/generation/stateful/__init__.py,sha256=s7jiJEnguIj44IsRyMi8afs-8yjIUuBbzW58bH5CHjs,1042
 schemathesis/generation/stateful/state_machine.py,sha256=CiVtpBEeotpNOUkYO3vJLKRe89gdT1kjguZ88vbfqs0,9500
 schemathesis/graphql/__init__.py,sha256=_eO6MAPHGgiADVGRntnwtPxmuvk666sAh-FAU4cG9-0,326
@@ -117,7 +117,7 @@ schemathesis/pytest/__init__.py,sha256=7W0q-Thcw03IAQfXE_Mo8JPZpUdHJzfu85fjK1Zdf
 schemathesis/pytest/control_flow.py,sha256=F8rAPsPeNv_sJiJgbZYtTpwKWjauZmqFUaKroY2GmQI,217
 schemathesis/pytest/lazy.py,sha256=wP0sqcVFcD-OjDIFUpYdJdFQ-BY18CVyL0iB6eHiWRw,11088
 schemathesis/pytest/loaders.py,sha256=Sbv8e5F77_x4amLP50iwubfm6kpOhx7LhLFGsVXW5Ys,925
-schemathesis/pytest/plugin.py,sha256=8VaaYoO4RtgtZLOAHiheFNjd0xceyKe0U1n6AV5s9kY,14253
+schemathesis/pytest/plugin.py,sha256=j93P7Bp6V2kjkw4Xg9ZoNgd9txcDiQFHByP6rMkI2R0,14518
 schemathesis/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 schemathesis/python/asgi.py,sha256=5PyvuTBaivvyPUEi3pwJni91K1kX5Zc0u9c6c1D8a1Q,287
 schemathesis/python/wsgi.py,sha256=uShAgo_NChbfYaV1117e6UHp0MTg7jaR0Sy_to3Jmf8,219
@@ -125,7 +125,7 @@ schemathesis/specs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuF
 schemathesis/specs/graphql/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 schemathesis/specs/graphql/nodes.py,sha256=bE3G1kNmqJ8OV4igBvIK-UORrkQA6Nofduf87O3TD9I,541
 schemathesis/specs/graphql/scalars.py,sha256=6lew8mnwhrtg23leiEbG43mLGPLlRln8mClCY94XpDA,2680
-schemathesis/specs/graphql/schemas.py,sha256=GKJcnTAT1wUzzUr3r6wiTfiAdFLcgFQjYRRz7x4VQl0,14457
+schemathesis/specs/graphql/schemas.py,sha256=oNbluhfxpbxRWVIMoLn3_g-bUaVLCea29jOZiHN1MT0,14509
 schemathesis/specs/graphql/validation.py,sha256=-W1Noc1MQmTb4RX-gNXMeU2qkgso4mzVfHxtdLkCPKM,1422
 schemathesis/specs/openapi/__init__.py,sha256=C5HOsfuDJGq_3mv8CRBvRvb0Diy1p0BFdqyEXMS-loE,238
 schemathesis/specs/openapi/_hypothesis.py,sha256=O8vN-koBjzBVZfpD3pmgIt6ecU4ddAPHOxTAORd23Lo,22642
@@ -178,8 +178,8 @@ schemathesis/transport/prepare.py,sha256=erYXRaxpQokIDzaIuvt_csHcw72iHfCyNq8VNEz
 schemathesis/transport/requests.py,sha256=wriRI9fprTplE_qEZLEz1TerX6GwkE3pwr6ZnU2o6vQ,10648
 schemathesis/transport/serialization.py,sha256=GwO6OAVTmL1JyKw7HiZ256tjV4CbrRbhQN0ep1uaZwI,11157
 schemathesis/transport/wsgi.py,sha256=kQtasFre6pjdJWRKwLA_Qb-RyQHCFNpaey9ubzlFWKI,5907
-schemathesis-4.3.13.dist-info/METADATA,sha256=n-G9iaIj5lgmV9oro_G7FL4f2tAeI9xOXaLe95r6WnA,8566
-schemathesis-4.3.13.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
-schemathesis-4.3.13.dist-info/entry_points.txt,sha256=hiK3un-xfgPdwj9uj16YVDtTNpO128bmk0U82SMv8ZQ,152
-schemathesis-4.3.13.dist-info/licenses/LICENSE,sha256=2Ve4J8v5jMQAWrT7r1nf3bI8Vflk3rZVQefiF2zpxwg,1121
-schemathesis-4.3.13.dist-info/RECORD,,
+schemathesis-4.3.14.dist-info/METADATA,sha256=TvgjAcKH_S1rOrvKQsipJY2hJbJE1s_yzxNxKATSEfM,8566
+schemathesis-4.3.14.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+schemathesis-4.3.14.dist-info/entry_points.txt,sha256=hiK3un-xfgPdwj9uj16YVDtTNpO128bmk0U82SMv8ZQ,152
+schemathesis-4.3.14.dist-info/licenses/LICENSE,sha256=2Ve4J8v5jMQAWrT7r1nf3bI8Vflk3rZVQefiF2zpxwg,1121
+schemathesis-4.3.14.dist-info/RECORD,,