├── .github └── workflows │ ├── ci.yml │ └── publish-to-pypi.yml ├── .gitignore ├── .readthedocs.yml ├── CHANGELOG.rst ├── LICENSE.txt ├── README.rst ├── benchmark.py ├── benchmarks ├── against_others │ ├── compare_invariant.py │ ├── compare_postcondition.py │ └── compare_precondition.py ├── benchmark_2.0.7.rst ├── import_cost │ ├── classes_100_with_10_disabled_invariants.py │ ├── classes_100_with_10_invariants.py │ ├── classes_100_with_1_disabled_invariant.py │ ├── classes_100_with_1_invariant.py │ ├── classes_100_with_5_disabled_invariants.py │ ├── classes_100_with_5_invariants.py │ ├── classes_100_with_no_invariant.py │ ├── functions_100_with_10_contracts.py │ ├── functions_100_with_10_disabled_contracts.py │ ├── functions_100_with_1_contract.py │ ├── functions_100_with_1_disabled_contract.py │ ├── functions_100_with_5_contracts.py │ ├── functions_100_with_5_disabled_contracts.py │ ├── functions_100_with_no_contract.py │ ├── generate.py │ ├── measure.py │ └── runme.py └── runtime_cost │ ├── my_sqrt.py │ ├── my_sqrt_assert_as_contract.py │ ├── my_sqrt_function_as_contract.py │ ├── my_sqrt_with_icontract.py │ └── my_sqrt_with_icontract_disabled.py ├── docs ├── .gitignore ├── Makefile ├── how-to-build-docs.md └── source │ ├── api.rst │ ├── async.rst │ ├── benchmarks.rst │ ├── changelog.rst │ ├── checking_types_at_runtime.rst │ ├── conf.py │ ├── development.rst │ ├── implementation_details.rst │ ├── index.rst │ ├── introduction.rst │ ├── known_issues.rst │ ├── recipes.rst │ └── usage.rst ├── icontract ├── __init__.py ├── _checkers.py ├── _decorators.py ├── _globals.py ├── _metaclass.py ├── _recompute.py ├── _represent.py ├── _types.py ├── errors.py └── py.typed ├── mypy.ini ├── precommit.py ├── pylint.ge_3.3.7.rc ├── pylint.lt_3.3.7.rc ├── requirements-doc.txt ├── setup.py ├── style.yapf ├── tests ├── __init__.py ├── error.py ├── mock.py ├── test_args_and_kwargs_in_contract.py ├── test_checkers.py ├── test_error.py ├── test_for_integrators.py ├── test_globals.py ├── test_inheritance_invariant.py ├── test_inheritance_postcondition.py ├── test_inheritance_precondition.py ├── test_inheritance_snapshot.py ├── test_invariant.py ├── test_mypy_decorators.py ├── test_postcondition.py ├── test_precondition.py ├── test_recompute.py ├── test_recursion.py ├── test_represent.py ├── test_snapshot.py ├── test_threading.py └── test_typeguard.py ├── tests_3_6 ├── __init__.py └── test_represent.py ├── tests_3_7 ├── __init__.py └── test_invariant.py ├── tests_3_8 ├── __init__.py ├── async │ ├── __init__.py │ ├── separately_test_concurrent.py │ ├── test_args_and_kwargs_in_contract.py │ ├── test_coroutine_example.py │ ├── test_exceptions.py │ ├── test_invariant.py │ ├── test_postcondition.py │ ├── test_precondition.py │ └── test_recursion.py ├── test_error.py ├── test_invariant.py └── test_represent.py ├── tests_with_others ├── test_deal.py └── test_dpcontracts.py └── tox.ini /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/publish-to-pypi.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/.github/workflows/publish-to-pypi.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/.gitignore -------------------------------------------------------------------------------- /.readthedocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/.readthedocs.yml -------------------------------------------------------------------------------- /CHANGELOG.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/CHANGELOG.rst -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/README.rst -------------------------------------------------------------------------------- /benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmark.py -------------------------------------------------------------------------------- /benchmarks/against_others/compare_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/against_others/compare_invariant.py -------------------------------------------------------------------------------- /benchmarks/against_others/compare_postcondition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/against_others/compare_postcondition.py -------------------------------------------------------------------------------- /benchmarks/against_others/compare_precondition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/against_others/compare_precondition.py -------------------------------------------------------------------------------- /benchmarks/benchmark_2.0.7.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/benchmark_2.0.7.rst -------------------------------------------------------------------------------- /benchmarks/import_cost/classes_100_with_10_disabled_invariants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/classes_100_with_10_disabled_invariants.py -------------------------------------------------------------------------------- /benchmarks/import_cost/classes_100_with_10_invariants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/classes_100_with_10_invariants.py -------------------------------------------------------------------------------- /benchmarks/import_cost/classes_100_with_1_disabled_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/classes_100_with_1_disabled_invariant.py -------------------------------------------------------------------------------- /benchmarks/import_cost/classes_100_with_1_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/classes_100_with_1_invariant.py -------------------------------------------------------------------------------- /benchmarks/import_cost/classes_100_with_5_disabled_invariants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/classes_100_with_5_disabled_invariants.py -------------------------------------------------------------------------------- /benchmarks/import_cost/classes_100_with_5_invariants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/classes_100_with_5_invariants.py -------------------------------------------------------------------------------- /benchmarks/import_cost/classes_100_with_no_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/classes_100_with_no_invariant.py -------------------------------------------------------------------------------- /benchmarks/import_cost/functions_100_with_10_contracts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/functions_100_with_10_contracts.py -------------------------------------------------------------------------------- /benchmarks/import_cost/functions_100_with_10_disabled_contracts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/functions_100_with_10_disabled_contracts.py -------------------------------------------------------------------------------- /benchmarks/import_cost/functions_100_with_1_contract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/functions_100_with_1_contract.py -------------------------------------------------------------------------------- /benchmarks/import_cost/functions_100_with_1_disabled_contract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/functions_100_with_1_disabled_contract.py -------------------------------------------------------------------------------- /benchmarks/import_cost/functions_100_with_5_contracts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/functions_100_with_5_contracts.py -------------------------------------------------------------------------------- /benchmarks/import_cost/functions_100_with_5_disabled_contracts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/functions_100_with_5_disabled_contracts.py -------------------------------------------------------------------------------- /benchmarks/import_cost/functions_100_with_no_contract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/functions_100_with_no_contract.py -------------------------------------------------------------------------------- /benchmarks/import_cost/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/generate.py -------------------------------------------------------------------------------- /benchmarks/import_cost/measure.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/measure.py -------------------------------------------------------------------------------- /benchmarks/import_cost/runme.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/import_cost/runme.py -------------------------------------------------------------------------------- /benchmarks/runtime_cost/my_sqrt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/runtime_cost/my_sqrt.py -------------------------------------------------------------------------------- /benchmarks/runtime_cost/my_sqrt_assert_as_contract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/runtime_cost/my_sqrt_assert_as_contract.py -------------------------------------------------------------------------------- /benchmarks/runtime_cost/my_sqrt_function_as_contract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/runtime_cost/my_sqrt_function_as_contract.py -------------------------------------------------------------------------------- /benchmarks/runtime_cost/my_sqrt_with_icontract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/runtime_cost/my_sqrt_with_icontract.py -------------------------------------------------------------------------------- /benchmarks/runtime_cost/my_sqrt_with_icontract_disabled.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/benchmarks/runtime_cost/my_sqrt_with_icontract_disabled.py -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/how-to-build-docs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/how-to-build-docs.md -------------------------------------------------------------------------------- /docs/source/api.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/api.rst -------------------------------------------------------------------------------- /docs/source/async.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/async.rst -------------------------------------------------------------------------------- /docs/source/benchmarks.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/benchmarks.rst -------------------------------------------------------------------------------- /docs/source/changelog.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/changelog.rst -------------------------------------------------------------------------------- /docs/source/checking_types_at_runtime.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/checking_types_at_runtime.rst -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/development.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/development.rst -------------------------------------------------------------------------------- /docs/source/implementation_details.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/implementation_details.rst -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /docs/source/introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/introduction.rst -------------------------------------------------------------------------------- /docs/source/known_issues.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/known_issues.rst -------------------------------------------------------------------------------- /docs/source/recipes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/recipes.rst -------------------------------------------------------------------------------- /docs/source/usage.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/docs/source/usage.rst -------------------------------------------------------------------------------- /icontract/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/__init__.py -------------------------------------------------------------------------------- /icontract/_checkers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/_checkers.py -------------------------------------------------------------------------------- /icontract/_decorators.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/_decorators.py -------------------------------------------------------------------------------- /icontract/_globals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/_globals.py -------------------------------------------------------------------------------- /icontract/_metaclass.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/_metaclass.py -------------------------------------------------------------------------------- /icontract/_recompute.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/_recompute.py -------------------------------------------------------------------------------- /icontract/_represent.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/_represent.py -------------------------------------------------------------------------------- /icontract/_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/_types.py -------------------------------------------------------------------------------- /icontract/errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/icontract/errors.py -------------------------------------------------------------------------------- /icontract/py.typed: -------------------------------------------------------------------------------- 1 | # Marker file for PEP 561. The mypy package uses inline types. 2 | -------------------------------------------------------------------------------- /mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/mypy.ini -------------------------------------------------------------------------------- /precommit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/precommit.py -------------------------------------------------------------------------------- /pylint.ge_3.3.7.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/pylint.ge_3.3.7.rc -------------------------------------------------------------------------------- /pylint.lt_3.3.7.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/pylint.lt_3.3.7.rc -------------------------------------------------------------------------------- /requirements-doc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/requirements-doc.txt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/setup.py -------------------------------------------------------------------------------- /style.yapf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/style.yapf -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | """Test icontract.""" 2 | -------------------------------------------------------------------------------- /tests/error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/error.py -------------------------------------------------------------------------------- /tests/mock.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/mock.py -------------------------------------------------------------------------------- /tests/test_args_and_kwargs_in_contract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_args_and_kwargs_in_contract.py -------------------------------------------------------------------------------- /tests/test_checkers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_checkers.py -------------------------------------------------------------------------------- /tests/test_error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_error.py -------------------------------------------------------------------------------- /tests/test_for_integrators.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_for_integrators.py -------------------------------------------------------------------------------- /tests/test_globals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_globals.py -------------------------------------------------------------------------------- /tests/test_inheritance_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_inheritance_invariant.py -------------------------------------------------------------------------------- /tests/test_inheritance_postcondition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_inheritance_postcondition.py -------------------------------------------------------------------------------- /tests/test_inheritance_precondition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_inheritance_precondition.py -------------------------------------------------------------------------------- /tests/test_inheritance_snapshot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_inheritance_snapshot.py -------------------------------------------------------------------------------- /tests/test_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_invariant.py -------------------------------------------------------------------------------- /tests/test_mypy_decorators.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_mypy_decorators.py -------------------------------------------------------------------------------- /tests/test_postcondition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_postcondition.py -------------------------------------------------------------------------------- /tests/test_precondition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_precondition.py -------------------------------------------------------------------------------- /tests/test_recompute.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_recompute.py -------------------------------------------------------------------------------- /tests/test_recursion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_recursion.py -------------------------------------------------------------------------------- /tests/test_represent.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_represent.py -------------------------------------------------------------------------------- /tests/test_snapshot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_snapshot.py -------------------------------------------------------------------------------- /tests/test_threading.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_threading.py -------------------------------------------------------------------------------- /tests/test_typeguard.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests/test_typeguard.py -------------------------------------------------------------------------------- /tests_3_6/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_6/__init__.py -------------------------------------------------------------------------------- /tests_3_6/test_represent.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_6/test_represent.py -------------------------------------------------------------------------------- /tests_3_7/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_7/__init__.py -------------------------------------------------------------------------------- /tests_3_7/test_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_7/test_invariant.py -------------------------------------------------------------------------------- /tests_3_8/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/__init__.py -------------------------------------------------------------------------------- /tests_3_8/async/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/__init__.py -------------------------------------------------------------------------------- /tests_3_8/async/separately_test_concurrent.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/separately_test_concurrent.py -------------------------------------------------------------------------------- /tests_3_8/async/test_args_and_kwargs_in_contract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/test_args_and_kwargs_in_contract.py -------------------------------------------------------------------------------- /tests_3_8/async/test_coroutine_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/test_coroutine_example.py -------------------------------------------------------------------------------- /tests_3_8/async/test_exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/test_exceptions.py -------------------------------------------------------------------------------- /tests_3_8/async/test_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/test_invariant.py -------------------------------------------------------------------------------- /tests_3_8/async/test_postcondition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/test_postcondition.py -------------------------------------------------------------------------------- /tests_3_8/async/test_precondition.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/test_precondition.py -------------------------------------------------------------------------------- /tests_3_8/async/test_recursion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/async/test_recursion.py -------------------------------------------------------------------------------- /tests_3_8/test_error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/test_error.py -------------------------------------------------------------------------------- /tests_3_8/test_invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/test_invariant.py -------------------------------------------------------------------------------- /tests_3_8/test_represent.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_3_8/test_represent.py -------------------------------------------------------------------------------- /tests_with_others/test_deal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_with_others/test_deal.py -------------------------------------------------------------------------------- /tests_with_others/test_dpcontracts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tests_with_others/test_dpcontracts.py -------------------------------------------------------------------------------- /tox.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Parquery/icontract/HEAD/tox.ini --------------------------------------------------------------------------------