Installation

In Thonny

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

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

pip install --user thonny-icontract-hypothesis

Usage

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:

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

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:

Contributing

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.

Versioning

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).