Hypothesis itself does not have any dependencies, but there are some packages that need additional things installed in order to work.
You can install these dependencies using the setuptools extra feature as e.g.
pip install hypothesis[django]. This will check installation of compatible versions.
You can also just install hypothesis into a project using them, ignore the version constraints, and hope for the best.
In general “Which version is Hypothesis compatible with?” is a hard question to answer and even harder to regularly test. Hypothesis is always tested against the latest compatible version and each package will note the expected compatibility range. If you run into a bug with any of these please specify the dependency version.
This module provides tools for working with the dpcontracts library, because combining contracts and property-based testing works really well.
dpcontracts >= 0.4.
contract_functo reject calls which violate preconditions, and retry them with different arguments.
This is a convenience function for testing internal code that uses :pypi:dpcontracts`, to automatically filter out arguments that would be rejected by the public interface before triggering a contract error.
This can be used as
builds(fulfill(func), ...)or in the body of the test e.g.
This extra can be used to generate strings matching any context-free grammar, using the Lark parser library.
It currently only supports Lark’s native EBNF syntax, but we plan to extend this to support other common syntaxes such as ANTLR and RFC 5234 ABNF. Lark already supports loading grammars from nearley.js, so you may not have to write your own at all.
A strategy for strings accepted by the given context-free grammar.
grammarmust be a
Larkobject, which wraps an EBNF specification. The Lark EBNF grammar reference can be found here.
from_larkwill automatically generate strings matching the nonterminal
startsymbol in the grammar, which was supplied as an argument to the Lark class. To generate strings matching a different symbol, including terminals, you can override this by passing the
from_larkdoes not support grammars that need custom lexing. Any lexers will be ignored, and any undefined terminals from the use of
%declarewill result in generation errors. We hope to support more of these features in future.
This module provides pytz timezones.
This module provides
Any timezone in dateutil.
This strategy minimises to UTC, or the timezone with the smallest offset from UTC as of 2000-01-01, and is designed for use with
Note that the timezones generated by the strategy may vary depending on the configuration of your machine. See the dateutil documentation for more information.