skip to navigation
skip to content

contract 1.4

Programming by Contract for Python

Annotate function docstrings with pre- and post-conditions, and class/module docstrings with invariants, and this automatically checks the contracts while debugging.