Path to this page:
./
devel/py-hypothesis,
Python library for property based testing
Branch: CURRENT,
Version: 6.126.0,
Package name: py312-hypothesis-6.126.0,
Maintainer: pkgsrc-usersHypothesis is a library for testing your Python code against a much
larger range of examples than you would ever want to write by hand.
It's based on the Haskell library, Quickcheck, and is designed to
integrate seamlessly into your existing Python unit testing work
flow.
Hypothesis is both extremely practical and also advances the state
of the art of unit testing by some way. It's easy to use, stable,
and extremely powerful. If you're not using Hypothesis to test your
project then you're missing out.
Required to run:[
devel/py-setuptools] [
devel/py-attrs] [
devel/py-sortedcontainers] [
lang/python37]
Required to build:[
pkgtools/cwrappers]
Master sites:
Filesize: 411.03 KB
Version history: (Expand)
- (2025-02-19) Updated to version: py312-hypothesis-6.126.0
- (2025-02-07) Updated to version: py312-hypothesis-6.125.2
- (2025-01-26) Updated to version: py312-hypothesis-6.124.7
- (2025-01-14) Updated to version: py312-hypothesis-6.123.17
- (2024-12-29) Updated to version: py312-hypothesis-6.123.2
- (2024-12-16) Updated to version: py312-hypothesis-6.122.3
CVS history: (Expand)
2025-02-19 10:24:20 by Adam Ciarcinski | Files touched by this commit (2) |  |
Log message:
py-hypothesis: updated to 6.126.0
6.126.0 - 2025-02-18
The Hypothesis database now supports a pub-sub interface to efficiently listen
for changes in the database, via .add_listener and .remove_listener. While all
databases that ship with Hypothesis support this interface, implementing it is
not required for custom database subclasses. Hypothesis will warn when trying
to listen on a database without support.
|
2025-02-07 08:51:56 by Adam Ciarcinski | Files touched by this commit (2) |  |
Log message:
py-hypothesis: updated to 6.125.2
6.125.2
Optimize performance (improves speed by ~5%) and clarify the wording in an error \
message.
6.125.1
Fixes a bug since around version 6.124.4 where we might have generated -0.0 for \
st.floats(min_value=0.0), which is unsound.
6.125.0
Add 2024.12 to the list of recognized Array API versions in \
hypothesis.extra.array_api.
|
2025-01-26 12:42:19 by Adam Ciarcinski | Files touched by this commit (3) |  |
Log message:
py-hypothesis: updated to 6.124.7
6.124.7
Internal renamings.
6.124.6
More work on internal type hints.
6.124.5
Internal refactoring to make some stateful internals easier to access.
6.124.4
Refactoring of our internal input generation. This shouldn’t lead to any \
changes in the distribution of test inputs. If you notice any, please open an \
issue!
6.124.3
Some Hypothesis internals now use the number of choices as a yardstick of input \
size, rather than the entropy consumed by those choices. We don’t expect this \
to cause significant behavioral changes.
6.124.2
Improves our internal caching logic for test cases.
6.124.1
fuzz_one_input is now implemented using an alternative backend. This brings the \
interpretation of the fuzzer-provided bytestring closer to the fuzzer mutations, \
allowing the mutations to work more reliably. We hope to use this backend \
functionality to improve fuzzing integration (see e.g. \
https://github.com/google/atheris/issues/20) in the future!
6.124.0
The Hypothesis example database now uses a new internal format to store \
examples. This new format is not compatible with the previous format, so stored \
entries will not carry over.
The database is best thought of as a cache that may be invalidated at times. \
Instead of relying on it for correctness, we recommend using @example to specify \
explicit examples. When using databases across environments (such as connecting \
a GitHubArtifactDatabase database in CI to your local environment), we recommend \
using the same version of Hypothesis for each where possible, for maximum \
reproducibility.
|
2025-01-14 07:45:25 by Adam Ciarcinski | Files touched by this commit (2) |  |
Log message:
py-hypothesis: updated to 6.123.17
6.123.16
Improves an edge case in one of our integer and float shrinking passes.
6.123.15
Improves one of our shrinking passes for integers which require a constant \
relative difference to trigger the bug.
6.123.14
Avoid realizing symbolic values from Alternative backends for Hypothesis when \
verbosity is verbose or higher.
6.123.13
More internal code refactoring.
6.123.12
DirectoryBasedExampleDatabase now creates files representing database entries \
atomically, avoiding a very brief intermediary state where a file could be \
created but not yet written to.
6.123.11
Internal code refactoring.
6.123.10
Fixes a bug caused by alternative backends raising \
hypothesis.errors.BackendCannotProceed in certain cases.
6.123.9
Add internal type hints to our pretty printer.
6.123.8
The shrinker contains a pass aimed at integers which are required to sum to a \
value. This patch extends that pass to floats as well.
6.123.7
Internal type hint additions and refactorings.
6.123.6
@reproduce_failure() now uses a newer internal interface to represent failures. \
As a reminder, this representation is not intended to be stable across versions \
or with respect to changes in the test.
6.123.5
Internal code refactoring for the typed choice sequence. May have some neutral \
effect on shrinking.
6.123.4
This patch improves shrinking involving long strings or byte sequences whose \
value is not relevant to the failure.
6.123.3
This release further improves shrinking of strategies using one_of(), allowing \
the shrinker to more reliably move between branches of the strategy.
|
2024-12-29 10:12:05 by Adam Ciarcinski | Files touched by this commit (3) |  |
Log message:
py-hypothesis: updated to 6.123.2
6.123.2 - 2024-12-27
The shrinker now uses the typed choice sequence when ordering failing examples. \
As a result, Hypothesis may now report a different minimal failing example for \
some tests. We expect most cases to remain unchanged.
6.123.1 - 2024-12-24
Our pytest plugin now emits a warning if you set Pytest’s norecursedirs config \
option in such a way that the .hypothesis directory would be searched for tests. \
This reliably indicates that you’ve made a mistake which slows down test \
collection, usually assuming that your configuration extends the set of ignored \
patterns when it actually replaces them.
6.123.0 - 2024-12-23
from_type() can now handle constructors with required positional-only arguments \
if they have type annotations. Previously, we only passed arguments by keyword.
6.122.7 - 2024-12-23
This patch lays some groundwork for migrating our internal representation to the \
typed choice sequence
6.122.6 - 2024-12-21
This patch cleans up some internal code around clamping floats.
6.122.5 - 2024-12-20
This release improves shrinking in some cases, especially for strategies using \
one_of(). This will typically improve shrinking speed and may in some cases \
improve the end result.
6.122.4 - 2024-12-19
This patch improves generation performance for the provisional domains() \
strategy, including its derivative strategies urls() and emails().
|
2024-12-16 06:53:02 by Adam Ciarcinski | Files touched by this commit (2) |  |
Log message:
py-hypothesis: updated to 6.122.3
6.122.3
This patch improves our error and warning messages.
Add a warning for st.text("ascii") - you probably meant \
st.text(st.characters(codec="ascii")). Similarly for \
"utf-8".
Recommend remedies in the error message of Unsatisfiable.
When @given errors because it was given an extra keyword argument, and the \
keyword matches a setting name like max_examples, recommend \
@settings(max_examples=...) instead.
6.122.2
This patch updates some outdated external links in our documentation.
6.122.1
Fix from_type() on collections.abc.Callable returning None.
6.122.0
This release adds .span_start() and .span_end() methods to our internal \
PrimitiveProvider interface, for use by Alternative backends for Hypothesis.
|
2024-11-27 15:50:09 by Adam Ciarcinski | Files touched by this commit (2) |  |
Log message:
py-hypothesis: updated to 6.119.4
6.119.4
This patch fixes a bug since 6.99.13
6.119.3
Hypothesis collects coverage information during the shrink and explain phases in \
order to show a more informative error message. On 3.12+, this uses \
sys.monitoring. This patch improves the performance of coverage collection on \
3.12+ by disabling events we don’t need.
6.119.2
This patch refactors some internals to prepare for future work using our IR
6.119.1
This patch migrates some more internals (around generating novel inputs) to the \
IR layer
6.119.0
This release improves Hypothesis’ handling of ExceptionGroup - it’s now able \
to detect marker detections if they’re inside a group and attempts to resolve \
them. Note that this handling is still a work in progress and might not handle \
edge cases optimally. Please open issues if you encounter any problems or \
unexpected behavior with it.
6.118.9
Internal refactorings in preparation for upcoming changes.
6.118.8
Internal renamings.
6.118.7
This patch removes some # type: ignore comments following a mypy update.
6.118.6
When Hypothesis replays examples from its test database that it knows were \
previously fully shrunk it will no longer try to shrink them again.
This should significantly speed up development workflows for slow tests, as the \
shrinking could contribute a significant delay when rerunning the tests.
In some rare cases this may cause minor reductions in example quality. This was \
considered an acceptable tradeoff for the improved test runtime.
6.118.5
This patch avoids computing some string representations we won’t need, giving \
a small speedup.
6.118.4
This patch migrates the optimisation algorithm for targeted property-based \
testing to our IR layer
6.118.3
This patch adds more type hints to internal Hypothesis code.
6.118.2
This patch migrates the explain phase to our IR layer
6.118.1
This patch updates some internals around how we determine an input is too large \
to finish generating.
6.118.0
The urls() strategy no longer generates URLs where the port number is 0.
This change is motivated by the idea that the generated URLs should, at least in \
theory, be possible to fetch. The port number 0 is special; if a server binds to \
port 0, the kernel will allocate an unused, and non-zero, port instead. That \
means that it’s not possible for a server to actually be listening on port 0. \
This motivation is briefly described in the documentation for urls().
|
2024-11-11 08:29:31 by Thomas Klausner | Files touched by this commit (862) |
Log message:
py-*: remove unused tool dependency
py-setuptools includes the py-wheel functionality nowadays
|