Bump hypothesis from 6.112.0 to 6.129.4 in /tools

[dependabot]

Bumps hypothesis from 6.112.0 to 6.129.4.

Release notes

Sourced from hypothesis's releases.

Hypothesis for Python - version 6.129.4

"nothing()" is now typed as "SearchStrategy[Never]", because no value can ever be drawn from it. This may help type checkers statically determine that some code is not reachable.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.129.3

This patch improves the string representation of "fixed_dictionaries()".

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.129.2

Improve how the shrinker checks for unnecessary work, leading to 10% less time spent shrinking on average, with no reduction in quality.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.129.1

"randoms()" no longer produces "1.0", matching the exclusive upper bound of "random.Random.random" (issue #4297).

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.129.0

This release adds a ""hypothesis-urandom"" backend, which draws randomness from "/dev/urandom" instead of Python's PRNG. This is useful for users of Antithesis who also have Hypothesis tests, allowing Antithesis mutation of "/dev/urandom" to drive Hypothesis generation. We expect it to be strictly slower than the default backend for everyone else.

It can be enabled with "@​settings(backend="hypothesis-urandom")".

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.128.3

For strategies which draw make recursive draws, including "recursive()" and "deferred()", we now generate examples with duplicated subtrees more often. This tends to uncover interesting behavior in tests.

For instance, we might now generate a tree like this more often (though the details depend on the strategy):

              ┌─────┐
       ┌──────┤  a  ├──────┐
       │      └─────┘      │
    ┌──┴──┐             ┌──┴──┐

... (truncated)

Commits

• a47feb9 Bump hypothesis-python version to 6.129.4 and update changelog
• 79c0aa8 Merge pull request #4307 from tybug/typing
• 8c5796f drop useless int() call [RUF046]
• 5b2bcdd address review
• 82211cf elaborate on comment, type Nothing as SearchStrategy[Never]
• f9cbd12 Merge branch 'master' into typing
• 2389c46 address review comments
• 2c0038f Bump hypothesis-python version to 6.129.3 and update changelog
• 3faacab Merge pull request #4306 from tybug/fix-bad-attribute
• fee23be more type hints for strategies
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[dependabot]

Superseded by #683.