├── .github └── workflows │ ├── ci.yml │ └── publish-to-pypi.yml ├── .gitignore ├── LICENSE ├── README.rst ├── benchmark.py ├── benchmarks └── compare_with_others.py ├── check_help_in_readme.py ├── icontract_hypothesis ├── __init__.py ├── __main__.py ├── py.typed └── pyicontract_hypothesis │ ├── __init__.py │ ├── _general.py │ ├── _ghostwrite.py │ ├── _test.py │ └── main.py ├── precommit.py ├── pylint.rc ├── requirements.txt ├── setup.py ├── test_samples ├── __init__.py └── pyicontract_hypothesis │ ├── __init__.py │ ├── expected_ghostwrites │ ├── for_test_bare_and_explicit.txt │ ├── for_test_bare_and_non_explicit.txt │ ├── for_test_non_bare_and_explicit.py │ ├── for_test_non_bare_and_non_explicit.py │ ├── for_test_path.txt │ └── for_test_well_formatted_with_two_arguments.py │ ├── sample_invalid_module.py │ ├── sample_library.py │ ├── sample_module.py │ └── well_formatted_with_two_arguments.py ├── tests ├── .gitignore ├── __init__.py ├── manually_test_registration.py ├── pyicontract_hypothesis │ ├── __init__.py │ ├── test_general.py │ ├── test_ghostwrite.py │ ├── test_invalid_arguments.py │ └── test_test.py ├── strategy_inference │ ├── __init__.py │ ├── test_matching_bounds.py │ ├── test_matching_regex.py │ └── test_strategy_inference.py └── test_assume.py └── tests_3_7 ├── __init__.py └── strategy_inference └── test_strategy_inference_on_forward_declarations.py /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/publish-to-pypi.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/.github/workflows/publish-to-pypi.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/LICENSE -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/README.rst -------------------------------------------------------------------------------- /benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/benchmark.py -------------------------------------------------------------------------------- /benchmarks/compare_with_others.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/benchmarks/compare_with_others.py -------------------------------------------------------------------------------- /check_help_in_readme.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/check_help_in_readme.py -------------------------------------------------------------------------------- /icontract_hypothesis/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/icontract_hypothesis/__init__.py -------------------------------------------------------------------------------- /icontract_hypothesis/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/icontract_hypothesis/__main__.py -------------------------------------------------------------------------------- /icontract_hypothesis/py.typed: -------------------------------------------------------------------------------- 1 | # Marker file for PEP 561. The mypy package uses inline types. 2 | -------------------------------------------------------------------------------- /icontract_hypothesis/pyicontract_hypothesis/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/icontract_hypothesis/pyicontract_hypothesis/__init__.py -------------------------------------------------------------------------------- /icontract_hypothesis/pyicontract_hypothesis/_general.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/icontract_hypothesis/pyicontract_hypothesis/_general.py -------------------------------------------------------------------------------- /icontract_hypothesis/pyicontract_hypothesis/_ghostwrite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/icontract_hypothesis/pyicontract_hypothesis/_ghostwrite.py -------------------------------------------------------------------------------- /icontract_hypothesis/pyicontract_hypothesis/_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/icontract_hypothesis/pyicontract_hypothesis/_test.py -------------------------------------------------------------------------------- /icontract_hypothesis/pyicontract_hypothesis/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/icontract_hypothesis/pyicontract_hypothesis/main.py -------------------------------------------------------------------------------- /precommit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/precommit.py -------------------------------------------------------------------------------- /pylint.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/pylint.rc -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | icontract>=2.5.2,<3 2 | hypothesis>=5,<7 3 | -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/setup.py -------------------------------------------------------------------------------- /test_samples/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/__init__.py: -------------------------------------------------------------------------------- 1 | """Provide sample data to test pyicontract-hypothesis.""" 2 | -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_bare_and_explicit.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_bare_and_explicit.txt -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_bare_and_non_explicit.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_bare_and_non_explicit.txt -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_non_bare_and_explicit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_non_bare_and_explicit.py -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_non_bare_and_non_explicit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_non_bare_and_non_explicit.py -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_path.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_path.txt -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_well_formatted_with_two_arguments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/expected_ghostwrites/for_test_well_formatted_with_two_arguments.py -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/sample_invalid_module.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/sample_invalid_module.py -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/sample_library.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/sample_library.py -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/sample_module.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/sample_module.py -------------------------------------------------------------------------------- /test_samples/pyicontract_hypothesis/well_formatted_with_two_arguments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/test_samples/pyicontract_hypothesis/well_formatted_with_two_arguments.py -------------------------------------------------------------------------------- /tests/.gitignore: -------------------------------------------------------------------------------- 1 | .hypothesis/ 2 | -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | """Test integration with Hypothesis library.""" 2 | -------------------------------------------------------------------------------- /tests/manually_test_registration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/manually_test_registration.py -------------------------------------------------------------------------------- /tests/pyicontract_hypothesis/__init__.py: -------------------------------------------------------------------------------- 1 | """Test pyicontract-hypothesis as a component.""" 2 | -------------------------------------------------------------------------------- /tests/pyicontract_hypothesis/test_general.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/pyicontract_hypothesis/test_general.py -------------------------------------------------------------------------------- /tests/pyicontract_hypothesis/test_ghostwrite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/pyicontract_hypothesis/test_ghostwrite.py -------------------------------------------------------------------------------- /tests/pyicontract_hypothesis/test_invalid_arguments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/pyicontract_hypothesis/test_invalid_arguments.py -------------------------------------------------------------------------------- /tests/pyicontract_hypothesis/test_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/pyicontract_hypothesis/test_test.py -------------------------------------------------------------------------------- /tests/strategy_inference/__init__.py: -------------------------------------------------------------------------------- 1 | """Test strategy inference based on pre-conditions.""" 2 | -------------------------------------------------------------------------------- /tests/strategy_inference/test_matching_bounds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/strategy_inference/test_matching_bounds.py -------------------------------------------------------------------------------- /tests/strategy_inference/test_matching_regex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/strategy_inference/test_matching_regex.py -------------------------------------------------------------------------------- /tests/strategy_inference/test_strategy_inference.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/strategy_inference/test_strategy_inference.py -------------------------------------------------------------------------------- /tests/test_assume.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests/test_assume.py -------------------------------------------------------------------------------- /tests_3_7/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests_3_7/__init__.py -------------------------------------------------------------------------------- /tests_3_7/strategy_inference/test_strategy_inference_on_forward_declarations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mristin/icontract-hypothesis/HEAD/tests_3_7/strategy_inference/test_strategy_inference_on_forward_declarations.py --------------------------------------------------------------------------------