Takes a ConjectureData or Overrun object updates the current shrink_target if this data represents an improvement over it.

Inverse of char_in_shrink_order.

Performs some preliminary reductions that should not be repeated as part of the main shrink passes. The main reason why these can't b

Prefer known-FTZ modules, then top-level packages, then alphabetical.

Select choices starting from ``prefix```, preferring to move left then wrapping around to the right.

Select choices uniformly at random.

Called whenever hypothesis requires a concrete (non-symbolic) value from a potentially symbolic value. Hypothesis will not check that

Record runner.valid_test_cases at the start of each optimisation pass.

base: A strategy to start from. extend: A function which takes a strategy and returns a new strategy. min_leaves: The minimum number of elem

Handle properties which may be mutually recursive among a set of strategies. These are essentially lazily cached properties, with the ability

Add an entry to the global field-to-strategy lookup used by :func:`~hypothesis.extra.django.from_field`. ``field_type`` must be a subtype of

Return a set of names of required args to target that were not supplied in args or kwargs. This is used in builds() to determine which argume

Set up just enough of the Hypothesis machinery to use draw on a strategy.

Save ``value`` under ``key``. If ``value`` is already present in ``key``, silently do nothing.

A runner in the state just after an optimisation pass has finished.

Return a tuple of exceptions meaning 'skip this test', to re-raise. This is intended to cover most common test runners; if you would like ano

Get stack size for caller's frame. From https://stackoverflow.com/a/47956089/9297601 , this is a simple but much faster alternative to `len(i

Inverse Student's t CDF (quantile) for integer df >= 1. df ∈ {1, 2}: closed-form analytic quantile (Shaw 2006, eq 35-36). df >= 3: bracketed

A simple context manager which calls |add_observability_callback| on ``f`` when it enters and |remove_observability_callback| on ``f`` when i

Return a strategy for just the boolean dtype object.

Return the p_continue which will generate the desired average size.

Return a strategy for complex dtype objects. ``sizes`` contains the complex sizes in bits, defaulting to ``(64, 128)`` which covers all valid

Single validator and converter for target arguments.

Return a strategy for real-valued floating-point dtype objects. ``sizes`` contains the floating-point sizes in bits, defaulting to ``(32, 64)

Return a dict of strategies for the union of arguments to `funcs`. If `pass_result_to_next_func` is True, assume that the result of each function

Return a strategy for signed integer dtype objects. ``sizes`` contains the signed integer sizes in bits, defaulting to ``(8, 16, 32, 64)`` wh