added reference to pyicontract lint

Parquery · Sep 20, 2018 · 1bdba35 · 1bdba35
1 parent 3b65aa8
commit 1bdba35
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/README.rst b/README.rst
@@ -480,6 +480,12 @@ invariants.
 Mind that we still expect each class decorator that decorates the class functions to use ``functools.update_wrapper()``
 in order to be able to iterate through decorator stacks of the individual functions.
 
+Lint
+----
+We provide a linter that statically verifies the arguments of the contracts (*i.e.* that they are
+well-defined with respect to the function). The tool is available as a separate package,
+`pyicontract-lint <https://pypi.org/project/pyicontract-lint>`_.
+
 Installation
 ============