thonny-icontract-hypothesis is a plug-in for Thonny IDE to automatically test Python code using icontract-hypothesis.
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:
Click on the Install button:
In your virtual environment, invoke:
pip install --user thonny-icontract-hypothesisTo 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:
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).