Mark this part of the tree as not worth re-exploring.

Mark this part of the tree as not worth re-exploring.

Returns a syntactically-valid expression describing `f`. This is often, but not always, the exact lambda definition string which appears in t

Returns True if the left is strictly simpler than the right according to the standards of this shrinker.

Note that the draw at node i was forced.

Attempt to insert padding around the result of a regex draw while preserving the match.

Move ``value`` from key ``src`` to key ``dest``. Equivalent to ``delete(src, value)`` followed by ``save(src, value)``, but

Return the most-general dtype strategy. Elements drawn from this strategy may be simple (from the subtype_strategy), or several such values d

Called when a key is written that does not currently appear in the map. Returns the score to associate with the key.

Make an updated signature for the wrapped test.

For inline-creating a choice node or list of choice nodes, where you don't care about the constraints. This uses maximally-permissable constr

Reset _first_postinit_what, so that we don't think we're in post-init. Additionally, if it was set that means that there has been a sideeffect tha

Take an AST; return a ConstructivePredicate. >>> lambda x: x >= 0 {"min_value": 0}, None >>> lambda x: x < 10 {"max_value": 10, "excl

Called every time a key that is already in the map is read or written. Returns the new score for the key.

Called after a key has been evicted, with the score it had had at the point of eviction.

Register a listener function that will be called with data when it gets removed from the front because something else dominates it.

Set union of n sequences, ordered for reproducibility across runs.

Return a collection of choice sequence nodes which cause the test to pass. Optionally restrict this by a certain prefix, which is useful for e

This is a pass that is designed to rerandomise use of the one_of strategy or things that look like it, in order to try to move from la

Add an entry to the global type-to-strategy lookup. This lookup is used in :func:`~hypothesis.strategies.builds` and |@given|. :func:`~h

Called when Hypothesis has discovered a choice sequence which the provider may wish to enqueue to replay under its own instrumentatio

Similar to the enum.Enum.__call__ method.

Reverse a 64-bit integer bitwise. We do this by breaking it up into 8 bytes. The 64-bit integer is then the concatenation of each of these by

Run the test function many times, on database input and generated input, using the Conjecture engine.

Node programs are a mini-DSL for node rewriting, defined as a sequence of commands that can be run at some index into the nodes Comma

Run a single step of the main shrink loop, attempting to improve the current value.