Skip to main content

Automatically test Python code using icontract-hypothesis in Thonny.

Project description

Continuous Integration - Ubuntu Continuous Integration - OSX Continuous Integration - Windows Test coverage PyPI - version PyPI - Python Version

thonny-icontract-hypothesis is a plug-in for Thonny IDE to automatically test Python code using icontract-hypothesis.


In Thonny

The plug-in can be easily installed via Thonny. Go to Tools menu and select Manage plug-ins...:

Tools -> Manage plug-ins...

Search for thonny-icontract-hypothesis on PyPI and click on the link to install it:

Search on PyPI

With pip

In your virtual environment, invoke:

pip install --user thonny-icontract-hypothesis


To check all the functions in the file with icontract-hypothesis, go to Tools menu and select Test the current file with icontract-hypothesis:


All changes to the file will be saved prior to executing the tests. If you prefer, you can undo them.

The tests will be executed in the Thonny shell:

Shell running the tests

You can stop the tests with the “Stop” sign:

Stop the tests

Sometimes it is practical to test only a single function (e.g., if it takes too long to test the whole file). In that case, move the caret to the body of the function that you would like to test, go to Tools menu and select Test the function under the caret with icontract-hypothesis:

Tools->Test at


Feature requests or bug reports are always very, very welcome!

Please see quickly if the issue does not already exist in the issue section and, if not, create a new issue.

You can also contribute in code. Please see contributing.rst.


We follow a bit unusual semantic versioning schema:

  • X is the oldest supported version of icontract-hypothesis,

  • Y is the minor version (new or modified features), and

  • Z is the patch version (only bug fixes).

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

thonny-icontract-hypothesis-1.0.0a3.tar.gz (5.2 kB view hashes)

Uploaded Source

Built Distribution

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page