Advanced property-based (QuickCheck-like) testing for Python
Python Jupyter Notebook Other
Switch branches/tags
Latest commit 15c63eb Sep 25, 2017 Travis CI User Bump version to 3.30.3 and update changelog
Failed to load latest commit information.
benchmark-data With new float hacks we don't need the more expensive changes Sep 5, 2017
docs Bump version to 3.30.3 and update changelog Sep 25, 2017
examples Formatting files that were previously untracked Apr 23, 2017
guides strategies -> APIs Aug 31, 2017
notebooks Final table Jun 27, 2015
requirements Update tqdm from 4.17.0 to 4.17.1 Sep 22, 2017
scripts Fix installer line Sep 19, 2017
src/hypothesis Bump version to 3.30.3 and update changelog Sep 25, 2017
tests Merge pull request #874 from HypothesisWorks/DRMacIver/better-caching Sep 24, 2017
.coveragerc Revert "Factor out common suppress tracing logic" Sep 19, 2017
.gitattributes Support for Windows development using Vagrant May 15, 2016
.gitignore Final cleanup for PR #779 Aug 17, 2017
.isort.cfg Configure isort with known third parties May 30, 2017
.pyup.yml Run numpy tests in coverage Aug 21, 2017
.travis.yml Run fewer tests with pypy using the tracer Sep 19, 2017
CITATION Update more to new repo link May 3, 2016
CONTRIBUTING.rst DOCS: Fixing missing s - #866 Sep 18, 2017
LICENSE.txt Add pretty printer vendor Mar 6, 2016
Makefile Run fewer tests with pypy using the tracer Sep 19, 2017
README.rst Update README.rst Nov 26, 2016
Vagrantfile Support for Windows development using Vagrant May 15, 2016
appveyor.yml Turn off 32-bit builds in appveyor for now Aug 18, 2017
circle.yml Move OSX builds over to CircleCI Feb 19, 2017
secrets.tar.enc Update secrets to use HypothesisBot Aug 25, 2017
setup.cfg Empty setup.cfg for completionism Oct 26, 2015 This is scarily close to working Sep 19, 2017
tox.ini Run fewer tests for pypy-with-tracer Sep 19, 2017



Hypothesis is an advanced testing library for Python. It lets you write tests which are parametrized by a source of examples, and then generates simple and comprehensible examples that make your tests fail. This lets you find more bugs in your code with less work.


  st.floats(allow_nan=False, allow_infinity=False), min_size=1))
def test_mean(xs):
    assert min(xs) <= mean(xs) <= max(xs)
Falsifying example: test_mean(
  xs=[1.7976321109618856e+308, 6.102390043022755e+303]

Hypothesis is extremely practical and advances the state of the art of unit testing by some way. It's easy to use, stable, and powerful. If you're not using Hypothesis to test your project then you're missing out.

Quick Start/Installation

If you just want to get started:

pip install hypothesis

Links of interest

The main Hypothesis site is at, and contains a lot of good introductory and explanatory material.

Extensive documentation and examples of usage are available at readthedocs.

If you want to talk to people about using Hypothesis, we have both an IRC channel and a mailing list.

If you want to receive occasional updates about Hypothesis, including useful tips and tricks, there's a TinyLetter mailing list to sign up for them.

If you want to contribute to Hypothesis, instructions are here.

If you want to hear from people who are already using Hypothesis, some of them have written about it.

If you want to create a downstream package of Hypothesis, please read these guidelines for packagers.