LICENSE.txt
README.rst
setup.py
icontract/__init__.py
icontract/_checkers.py
icontract/_decorators.py
icontract/_globals.py
icontract/_metaclass.py
icontract/_recompute.py
icontract/_represent.py
icontract/_types.py
icontract/errors.py
icontract/py.typed
icontract.egg-info/PKG-INFO
icontract.egg-info/SOURCES.txt
icontract.egg-info/dependency_links.txt
icontract.egg-info/requires.txt
icontract.egg-info/top_level.txt
tests/test_args_and_kwargs_in_contract.py
tests/test_checkers.py
tests/test_error.py
tests/test_for_integrators.py
tests/test_globals.py
tests/test_inheritance_invariant.py
tests/test_inheritance_postcondition.py
tests/test_inheritance_precondition.py
tests/test_inheritance_snapshot.py
tests/test_invariant.py
tests/test_mypy_decorators.py
tests/test_postcondition.py
tests/test_precondition.py
tests/test_recompute.py
tests/test_recursion.py
tests/test_represent.py
tests/test_snapshot.py
tests/test_threading.py
tests/test_typeguard.py