gitextract_nlv4f5th/ ├── .claude/ │ ├── CLAUDE.md │ └── commands/ │ └── hypothesis.md ├── .gitattributes ├── .github/ │ ├── CODEOWNERS │ ├── CODE_OF_CONDUCT.rst │ ├── actions/ │ │ └── install-base/ │ │ └── action.yml │ └── workflows/ │ ├── fuzz.yml │ ├── main.yml │ ├── update-deps.yml │ └── website.yml ├── .gitignore ├── .readthedocs.yml ├── AUTHORS.rst ├── CITATION.cff ├── CONTRIBUTING.rst ├── LICENSE.txt ├── README.md ├── brand/ │ ├── README.md │ ├── hypothesis.gpl │ ├── hypothesis.sketch │ └── hypothesis2.sketch ├── build.sh ├── guides/ │ ├── README.md │ ├── api-style.rst │ ├── documentation.rst │ ├── internals.rst │ ├── review.rst │ ├── strategies-that-shrink.rst │ └── testing-hypothesis.rst ├── hypothesis-python/ │ ├── LICENSE.txt │ ├── README.md │ ├── RELEASE-sample.rst │ ├── benchmark/ │ │ ├── README.md │ │ ├── graph.py │ │ └── spec.json │ ├── docs/ │ │ ├── _ext/ │ │ │ ├── hypothesis_linkcheck.py │ │ │ └── hypothesis_redirects.py │ │ ├── _static/ │ │ │ ├── better-signatures.css │ │ │ ├── dark-fix.css │ │ │ ├── no-scroll.css │ │ │ └── wrap-in-tables.css │ │ ├── changelog.rst │ │ ├── community.rst │ │ ├── compatibility.rst │ │ ├── conf.py │ │ ├── development.rst │ │ ├── explanation/ │ │ │ ├── domain.rst │ │ │ ├── example-count.rst │ │ │ └── index.rst │ │ ├── extensions.rst │ │ ├── extras.rst │ │ ├── how-to/ │ │ │ ├── custom-database.rst │ │ │ ├── detect-hypothesis-tests.rst │ │ │ ├── external-fuzzers.rst │ │ │ ├── index.rst │ │ │ ├── suppress-healthchecks.rst │ │ │ └── type-strategies.rst │ │ ├── index.rst │ │ ├── packaging.rst │ │ ├── prolog.rst │ │ ├── quickstart.rst │ │ ├── redirect.html.template │ │ ├── reference/ │ │ │ ├── api.rst │ │ │ ├── index.rst │ │ │ ├── integrations.rst │ │ │ ├── internals.rst │ │ │ ├── schema_metadata.json │ │ │ ├── schema_metadata_choices.json │ │ │ ├── schema_observations.json │ │ │ └── strategies.rst │ │ ├── stateful.rst │ │ ├── tutorial/ │ │ │ ├── adapting-strategies.rst │ │ │ ├── adding-notes.rst │ │ │ ├── builtin-strategies.rst │ │ │ ├── custom-strategies.rst │ │ │ ├── flaky.rst │ │ │ ├── index.rst │ │ │ ├── introduction.rst │ │ │ ├── replaying-failures.rst │ │ │ └── settings.rst │ │ └── usage.rst │ ├── examples/ │ │ ├── README.md │ │ ├── example_hypothesis_entrypoint/ │ │ │ ├── example_hypothesis_entrypoint.py │ │ │ ├── setup.py │ │ │ └── test_entrypoint.py │ │ ├── test_basic.py │ │ ├── test_binary_search.py │ │ └── test_rle.py │ ├── pyproject.toml │ ├── pyrightconfig.json │ ├── scripts/ │ │ ├── basic-test.sh │ │ ├── other-tests.sh │ │ └── validate_branch_check.py │ ├── src/ │ │ ├── _hypothesis_ftz_detector.py │ │ ├── _hypothesis_globals.py │ │ ├── _hypothesis_pytestplugin.py │ │ └── hypothesis/ │ │ ├── __init__.py │ │ ├── _settings.py │ │ ├── configuration.py │ │ ├── control.py │ │ ├── core.py │ │ ├── database.py │ │ ├── entry_points.py │ │ ├── errors.py │ │ ├── extra/ │ │ │ ├── __init__.py │ │ │ ├── _array_helpers.py │ │ │ ├── _patching.py │ │ │ ├── array_api.py │ │ │ ├── cli.py │ │ │ ├── codemods.py │ │ │ ├── dateutil.py │ │ │ ├── django/ │ │ │ │ ├── __init__.py │ │ │ │ ├── _fields.py │ │ │ │ └── _impl.py │ │ │ ├── dpcontracts.py │ │ │ ├── ghostwriter.py │ │ │ ├── lark.py │ │ │ ├── numpy.py │ │ │ ├── pandas/ │ │ │ │ ├── __init__.py │ │ │ │ └── impl.py │ │ │ ├── pytestplugin.py │ │ │ ├── pytz.py │ │ │ └── redis.py │ │ ├── internal/ │ │ │ ├── __init__.py │ │ │ ├── cache.py │ │ │ ├── cathetus.py │ │ │ ├── charmap.py │ │ │ ├── compat.py │ │ │ ├── conjecture/ │ │ │ │ ├── __init__.py │ │ │ │ ├── choice.py │ │ │ │ ├── data.py │ │ │ │ ├── datatree.py │ │ │ │ ├── engine.py │ │ │ │ ├── floats.py │ │ │ │ ├── junkdrawer.py │ │ │ │ ├── optimiser.py │ │ │ │ ├── pareto.py │ │ │ │ ├── provider_conformance.py │ │ │ │ ├── providers.py │ │ │ │ ├── shrinker.py │ │ │ │ ├── shrinking/ │ │ │ │ │ ├── __init__.py │ │ │ │ │ ├── bytes.py │ │ │ │ │ ├── choicetree.py │ │ │ │ │ ├── collection.py │ │ │ │ │ ├── common.py │ │ │ │ │ ├── floats.py │ │ │ │ │ ├── integer.py │ │ │ │ │ ├── ordering.py │ │ │ │ │ └── string.py │ │ │ │ └── utils.py │ │ │ ├── constants_ast.py │ │ │ ├── coverage.py │ │ │ ├── detection.py │ │ │ ├── entropy.py │ │ │ ├── escalation.py │ │ │ ├── filtering.py │ │ │ ├── floats.py │ │ │ ├── healthcheck.py │ │ │ ├── intervalsets.py │ │ │ ├── lambda_sources.py │ │ │ ├── observability.py │ │ │ ├── reflection.py │ │ │ ├── scrutineer.py │ │ │ └── validation.py │ │ ├── provisional.py │ │ ├── py.typed │ │ ├── reporting.py │ │ ├── stateful.py │ │ ├── statistics.py │ │ ├── strategies/ │ │ │ ├── __init__.py │ │ │ └── _internal/ │ │ │ ├── __init__.py │ │ │ ├── attrs.py │ │ │ ├── collections.py │ │ │ ├── core.py │ │ │ ├── datetime.py │ │ │ ├── deferred.py │ │ │ ├── featureflags.py │ │ │ ├── flatmapped.py │ │ │ ├── functions.py │ │ │ ├── ipaddress.py │ │ │ ├── lazy.py │ │ │ ├── misc.py │ │ │ ├── numbers.py │ │ │ ├── random.py │ │ │ ├── recursive.py │ │ │ ├── regex.py │ │ │ ├── shared.py │ │ │ ├── strategies.py │ │ │ ├── strings.py │ │ │ ├── types.py │ │ │ └── utils.py │ │ ├── utils/ │ │ │ ├── __init__.py │ │ │ ├── conventions.py │ │ │ ├── deprecation.py │ │ │ ├── dynamicvariables.py │ │ │ ├── terminal.py │ │ │ └── threading.py │ │ ├── vendor/ │ │ │ ├── __init__.py │ │ │ ├── pretty.py │ │ │ └── tlds-alpha-by-domain.txt │ │ └── version.py │ ├── tests/ │ │ ├── README.md │ │ ├── __init__.py │ │ ├── array_api/ │ │ │ ├── README.md │ │ │ ├── __init__.py │ │ │ ├── common.py │ │ │ ├── conftest.py │ │ │ ├── test_argument_validation.py │ │ │ ├── test_arrays.py │ │ │ ├── test_from_dtype.py │ │ │ ├── test_indices.py │ │ │ ├── test_partial_adoptors.py │ │ │ ├── test_pretty.py │ │ │ ├── test_scalar_dtypes.py │ │ │ └── test_strategies_namespace.py │ │ ├── attrs/ │ │ │ ├── test_attrs.py │ │ │ ├── test_inference.py │ │ │ └── test_pretty.py │ │ ├── codemods/ │ │ │ ├── test_codemod_cli.py │ │ │ └── test_codemods.py │ │ ├── common/ │ │ │ ├── __init__.py │ │ │ ├── arguments.py │ │ │ ├── costbounds.py │ │ │ ├── debug.py │ │ │ ├── setup.py │ │ │ ├── strategies.py │ │ │ └── utils.py │ │ ├── conftest.py │ │ ├── conjecture/ │ │ │ ├── __init__.py │ │ │ ├── common.py │ │ │ ├── test_choice.py │ │ │ ├── test_choice_tree.py │ │ │ ├── test_data_tree.py │ │ │ ├── test_engine.py │ │ │ ├── test_float_encoding.py │ │ │ ├── test_forced.py │ │ │ ├── test_inquisitor.py │ │ │ ├── test_intlist.py │ │ │ ├── test_junkdrawer.py │ │ │ ├── test_local_constants.py │ │ │ ├── test_minimizer.py │ │ │ ├── test_mutations.py │ │ │ ├── test_optimiser.py │ │ │ ├── test_order_shrinking.py │ │ │ ├── test_pareto.py │ │ │ ├── test_provider.py │ │ │ ├── test_provider_contract.py │ │ │ ├── test_shrinker.py │ │ │ ├── test_shrinking_interface.py │ │ │ ├── test_test_data.py │ │ │ └── test_utils.py │ │ ├── cover/ │ │ │ ├── __init__.py │ │ │ ├── test_annotations.py │ │ │ ├── test_arbitrary_data.py │ │ │ ├── test_asyncio.py │ │ │ ├── test_cache_implementation.py │ │ │ ├── test_caching.py │ │ │ ├── test_cathetus.py │ │ │ ├── test_charmap.py │ │ │ ├── test_compat.py │ │ │ ├── test_complex_numbers.py │ │ │ ├── test_composite.py │ │ │ ├── test_composite_kwonlyargs.py │ │ │ ├── test_constants_ast.py │ │ │ ├── test_control.py │ │ │ ├── test_core.py │ │ │ ├── test_custom_reprs.py │ │ │ ├── test_database_backend.py │ │ │ ├── test_datetimes.py │ │ │ ├── test_deadline.py │ │ │ ├── test_debug_information.py │ │ │ ├── test_deferred_strategies.py │ │ │ ├── test_detection.py │ │ │ ├── test_direct_strategies.py │ │ │ ├── test_draw_example.py │ │ │ ├── test_error_in_draw.py │ │ │ ├── test_escalation.py │ │ │ ├── test_example.py │ │ │ ├── test_exceptiongroup.py │ │ │ ├── test_executors.py │ │ │ ├── test_explicit_examples.py │ │ │ ├── test_falsifying_example_output.py │ │ │ ├── test_feature_flags.py │ │ │ ├── test_filestorage.py │ │ │ ├── test_filter_rewriting.py │ │ │ ├── test_filtered_strategy.py │ │ │ ├── test_find.py │ │ │ ├── test_flakiness.py │ │ │ ├── test_float_nastiness.py │ │ │ ├── test_float_utils.py │ │ │ ├── test_functions.py │ │ │ ├── test_fuzz_one_input.py │ │ │ ├── test_given_error_conditions.py │ │ │ ├── test_health_checks.py │ │ │ ├── test_interactive_example.py │ │ │ ├── test_internal_helpers.py │ │ │ ├── test_intervalset.py │ │ │ ├── test_lambda_formatting.py │ │ │ ├── test_lazy_import.py │ │ │ ├── test_lookup.py │ │ │ ├── test_lookup_py310.py │ │ │ ├── test_lookup_py314.py │ │ │ ├── test_lookup_py37.py │ │ │ ├── test_lookup_py38.py │ │ │ ├── test_lookup_py39.py │ │ │ ├── test_map.py │ │ │ ├── test_mock.py │ │ │ ├── test_monitoring.py │ │ │ ├── test_nothing.py │ │ │ ├── test_numerics.py │ │ │ ├── test_observability.py │ │ │ ├── test_one_of.py │ │ │ ├── test_permutations.py │ │ │ ├── test_phases.py │ │ │ ├── test_posonly_args_py38.py │ │ │ ├── test_pretty.py │ │ │ ├── test_provisional_strategies.py │ │ │ ├── test_random_module.py │ │ │ ├── test_randoms.py │ │ │ ├── test_recursive.py │ │ │ ├── test_reflection.py │ │ │ ├── test_regex.py │ │ │ ├── test_regressions.py │ │ │ ├── test_replay_logic.py │ │ │ ├── test_reporting.py │ │ │ ├── test_reproduce_failure.py │ │ │ ├── test_runner_strategy.py │ │ │ ├── test_sampled_from.py │ │ │ ├── test_searchstrategy.py │ │ │ ├── test_seed_printing.py │ │ │ ├── test_settings.py │ │ │ ├── test_setup_teardown.py │ │ │ ├── test_shrink_budgeting.py │ │ │ ├── test_sideeffect_warnings.py │ │ │ ├── test_simple_characters.py │ │ │ ├── test_simple_collections.py │ │ │ ├── test_simple_strings.py │ │ │ ├── test_slices.py │ │ │ ├── test_slippage.py │ │ │ ├── test_stateful.py │ │ │ ├── test_statistical_events.py │ │ │ ├── test_subnormal_floats.py │ │ │ ├── test_targeting.py │ │ │ ├── test_testdecorators.py │ │ │ ├── test_threading.py │ │ │ ├── test_traceback_elision.py │ │ │ ├── test_type_lookup.py │ │ │ ├── test_type_lookup_forward_ref.py │ │ │ ├── test_typealias_py312.py │ │ │ ├── test_unicode_identifiers.py │ │ │ ├── test_unittest.py │ │ │ ├── test_uuids.py │ │ │ ├── test_validation.py │ │ │ └── test_verbosity.py │ │ ├── crosshair/ │ │ │ ├── test_conformance.py │ │ │ └── test_crosshair.py │ │ ├── datetime/ │ │ │ ├── __init__.py │ │ │ ├── test_dateutil_timezones.py │ │ │ ├── test_pytz_timezones.py │ │ │ └── test_zoneinfo_timezones.py │ │ ├── django/ │ │ │ ├── __init__.py │ │ │ ├── manage.py │ │ │ ├── toys/ │ │ │ │ ├── __init__.py │ │ │ │ ├── settings/ │ │ │ │ │ ├── no_urls.py │ │ │ │ │ ├── settings.py │ │ │ │ │ ├── settings_no_contrib.py │ │ │ │ │ └── urls.py │ │ │ │ └── wsgi.py │ │ │ └── toystore/ │ │ │ ├── __init__.py │ │ │ ├── admin.py │ │ │ ├── forms.py │ │ │ ├── models.py │ │ │ ├── test_basic_configuration.py │ │ │ ├── test_given_forms.py │ │ │ ├── test_given_models.py │ │ │ └── views.py │ │ ├── dpcontracts/ │ │ │ ├── __init__.py │ │ │ └── test_contracts.py │ │ ├── ghostwriter/ │ │ │ ├── example_code/ │ │ │ │ ├── __init__.py │ │ │ │ └── future_annotations.py │ │ │ ├── recorded/ │ │ │ │ ├── add_custom_classes.txt │ │ │ │ ├── addition_op_magic.txt │ │ │ │ ├── addition_op_multimagic.txt │ │ │ │ ├── base64_magic.txt │ │ │ │ ├── division_binop_error_handler.txt │ │ │ │ ├── division_fuzz_error_handler.txt │ │ │ │ ├── division_operator.txt │ │ │ │ ├── division_operator_with_annotations.txt │ │ │ │ ├── division_roundtrip_arithmeticerror_handler.txt │ │ │ │ ├── division_roundtrip_error_handler.txt │ │ │ │ ├── division_roundtrip_error_handler_without_annotations.txt │ │ │ │ ├── division_roundtrip_typeerror_handler.txt │ │ │ │ ├── eval_equivalent.txt │ │ │ │ ├── fuzz_classmethod.txt │ │ │ │ ├── fuzz_sorted.txt │ │ │ │ ├── fuzz_sorted_with_annotations.txt │ │ │ │ ├── fuzz_staticmethod.txt │ │ │ │ ├── fuzz_ufunc.txt │ │ │ │ ├── fuzz_with_docstring.txt │ │ │ │ ├── hypothesis_module_magic.txt │ │ │ │ ├── invalid_types.txt │ │ │ │ ├── magic_base64_roundtrip.txt │ │ │ │ ├── magic_base64_roundtrip_with_annotations.txt │ │ │ │ ├── magic_builtins.txt │ │ │ │ ├── magic_class.txt │ │ │ │ ├── magic_gufunc.txt │ │ │ │ ├── magic_numpy.txt │ │ │ │ ├── matmul_magic.txt │ │ │ │ ├── merge_dicts.txt │ │ │ │ ├── multiplication_magic.txt │ │ │ │ ├── multiplication_operator.txt │ │ │ │ ├── multiplication_operator_unittest.txt │ │ │ │ ├── nothing_found.txt │ │ │ │ ├── optional_parameter.txt │ │ │ │ ├── optional_union_parameter.txt │ │ │ │ ├── re_compile.txt │ │ │ │ ├── re_compile_except.txt │ │ │ │ ├── re_compile_unittest.txt │ │ │ │ ├── sequence_from_collections.txt │ │ │ │ ├── sorted_idempotent.txt │ │ │ │ ├── sorted_self_equivalent.txt │ │ │ │ ├── sorted_self_equivalent_with_annotations.txt │ │ │ │ ├── sorted_self_error_equivalent_1error.txt │ │ │ │ ├── sorted_self_error_equivalent_2error_unittest.txt │ │ │ │ ├── sorted_self_error_equivalent_simple.txt │ │ │ │ ├── sorted_self_error_equivalent_threefuncs.txt │ │ │ │ ├── timsort_idempotent.txt │ │ │ │ ├── timsort_idempotent_asserts.txt │ │ │ │ └── union_sequence_parameter.txt │ │ │ ├── test_expected_output.py │ │ │ ├── test_ghostwriter.py │ │ │ ├── test_ghostwriter_cli.py │ │ │ └── try-writing-for-installed.py │ │ ├── lark/ │ │ │ ├── __init__.py │ │ │ └── test_grammar.py │ │ ├── nocover/ │ │ │ ├── __init__.py │ │ │ ├── test_argument_validation.py │ │ │ ├── test_bad_repr.py │ │ │ ├── test_baseexception.py │ │ │ ├── test_boundary_exploration.py │ │ │ ├── test_build_signature.py │ │ │ ├── test_cache_implementation.py │ │ │ ├── test_cacheable.py │ │ │ ├── test_characters.py │ │ │ ├── test_collective_minimization.py │ │ │ ├── test_compat.py │ │ │ ├── test_completion.py │ │ │ ├── test_complex_numbers.py │ │ │ ├── test_conjecture_engine.py │ │ │ ├── test_conjecture_int_list.py │ │ │ ├── test_conjecture_utils.py │ │ │ ├── test_conventions.py │ │ │ ├── test_database_agreement.py │ │ │ ├── test_database_usage.py │ │ │ ├── test_deferred_errors.py │ │ │ ├── test_drypython_returns.py │ │ │ ├── test_duplication.py │ │ │ ├── test_dynamic_variable.py │ │ │ ├── test_emails.py │ │ │ ├── test_eval_as_source.py │ │ │ ├── test_exceptiongroup.py │ │ │ ├── test_explore_arbitrary_languages.py │ │ │ ├── test_fancy_repr.py │ │ │ ├── test_filtering.py │ │ │ ├── test_find.py │ │ │ ├── test_fixtures.py │ │ │ ├── test_flatmap.py │ │ │ ├── test_floating.py │ │ │ ├── test_from_type_recipe.py │ │ │ ├── test_given_error_conditions.py │ │ │ ├── test_given_reuse.py │ │ │ ├── test_health_checks.py │ │ │ ├── test_imports.py │ │ │ ├── test_integer_ranges.py │ │ │ ├── test_interesting_origin.py │ │ │ ├── test_labels.py │ │ │ ├── test_large_examples.py │ │ │ ├── test_limits.py │ │ │ ├── test_modify_inner_test.py │ │ │ ├── test_nesting.py │ │ │ ├── test_precise_shrinking.py │ │ │ ├── test_pretty_repr.py │ │ │ ├── test_randomization.py │ │ │ ├── test_recursive.py │ │ │ ├── test_regex.py │ │ │ ├── test_regressions.py │ │ │ ├── test_reusable_values.py │ │ │ ├── test_sampled_from.py │ │ │ ├── test_scrutineer.py │ │ │ ├── test_sets.py │ │ │ ├── test_sharing.py │ │ │ ├── test_simple_numbers.py │ │ │ ├── test_simple_strings.py │ │ │ ├── test_skipping.py │ │ │ ├── test_stateful.py │ │ │ ├── test_strategy_state.py │ │ │ ├── test_subnormal_floats.py │ │ │ ├── test_targeting.py │ │ │ ├── test_testdecorators.py │ │ │ ├── test_threading.py │ │ │ ├── test_type_lookup.py │ │ │ ├── test_type_lookup_forward_ref.py │ │ │ ├── test_type_lookup_future_annotations.py │ │ │ ├── test_unusual_settings_configs.py │ │ │ └── test_uuids.py │ │ ├── numpy/ │ │ │ ├── __init__.py │ │ │ ├── test_argument_validation.py │ │ │ ├── test_deprecation.py │ │ │ ├── test_fill_values.py │ │ │ ├── test_floor_ceil.py │ │ │ ├── test_from_dtype.py │ │ │ ├── test_from_type.py │ │ │ ├── test_gen_data.py │ │ │ ├── test_gufunc.py │ │ │ ├── test_import.py │ │ │ ├── test_narrow_floats.py │ │ │ ├── test_randomness.py │ │ │ └── test_sampled_from.py │ │ ├── pandas/ │ │ │ ├── __init__.py │ │ │ ├── helpers.py │ │ │ ├── test_argument_validation.py │ │ │ ├── test_data_frame.py │ │ │ ├── test_indexes.py │ │ │ └── test_series.py │ │ ├── patching/ │ │ │ ├── __init__.py │ │ │ ├── callables.py │ │ │ ├── test_patching.py │ │ │ └── toplevel.py │ │ ├── pytest/ │ │ │ ├── test__pytest.py │ │ │ ├── test_capture.py │ │ │ ├── test_checks.py │ │ │ ├── test_collection_warning.py │ │ │ ├── test_compat.py │ │ │ ├── test_constant_collection_timing.py │ │ │ ├── test_doctest.py │ │ │ ├── test_fixtures.py │ │ │ ├── test_junit.py │ │ │ ├── test_mark.py │ │ │ ├── test_parametrized_db_keys.py │ │ │ ├── test_profiles.py │ │ │ ├── test_pytest_detection.py │ │ │ ├── test_reporting.py │ │ │ ├── test_runs.py │ │ │ ├── test_seeding.py │ │ │ ├── test_sideeffect_warnings.py │ │ │ ├── test_skipping.py │ │ │ └── test_statistics.py │ │ ├── quality/ │ │ │ ├── __init__.py │ │ │ ├── test_deferred_strategies.py │ │ │ ├── test_discovery_ability.py │ │ │ ├── test_float_shrinking.py │ │ │ ├── test_integers.py │ │ │ ├── test_poisoned_lists.py │ │ │ ├── test_poisoned_trees.py │ │ │ ├── test_shrink_quality.py │ │ │ └── test_zig_zagging.py │ │ ├── redis/ │ │ │ ├── __init__.py │ │ │ └── test_redis_exampledatabase.py │ │ ├── test_annotated_types.py │ │ ├── typing_extensions/ │ │ │ ├── __init__.py │ │ │ └── test_backported_types.py │ │ └── watchdog/ │ │ ├── __init__.py │ │ ├── test_database.py │ │ └── test_database_cover.py │ └── tox.ini ├── notebooks/ │ └── Designing a better simplifier.ipynb ├── paper.bib ├── paper.md ├── pyproject.toml ├── requirements/ │ ├── coverage.in │ ├── coverage.txt │ ├── crosshair.in │ ├── crosshair.txt │ ├── fuzzing.in │ ├── fuzzing.txt │ ├── test.in │ ├── test.txt │ ├── tools.in │ └── tools.txt ├── tooling/ │ ├── README.md │ ├── codespell-dict.txt │ ├── codespell-ignore.txt │ ├── scripts/ │ │ ├── common.sh │ │ ├── ensure-python.sh │ │ └── tool-hash.py │ ├── setup.py │ └── src/ │ └── hypothesistooling/ │ ├── __init__.py │ ├── __main__.py │ ├── installers.py │ ├── junkdrawer.py │ ├── projects/ │ │ ├── __init__.py │ │ └── hypothesispython.py │ ├── releasemanagement.py │ └── scripts.py ├── website/ │ ├── archive-redirect.html │ ├── content/ │ │ ├── 2016-04-15-economics-of-software-correctness.md │ │ ├── 2016-04-15-getting-started-with-hypothesis.md │ │ ├── 2016-04-16-anatomy-of-a-test.md │ │ ├── 2016-04-16-encode-decode-invariant.md │ │ ├── 2016-04-16-quickcheck-in-every-language.md │ │ ├── 2016-04-16-the-purpose-of-hypothesis.md │ │ ├── 2016-04-19-rule-based-stateful-testing.md │ │ ├── 2016-04-29-testing-performance-optimizations.md │ │ ├── 2016-05-02-referential-transparency.md │ │ ├── 2016-05-11-generating-the-right-data.md │ │ ├── 2016-05-13-what-is-property-based-testing.md │ │ ├── 2016-05-26-exploring-voting-with-hypothesis.md │ │ ├── 2016-05-29-testing-optimizers-with-hypothesis.md │ │ ├── 2016-05-31-looking-for-guest-posts.md │ │ ├── 2016-06-05-incremental-property-based-testing.md │ │ ├── 2016-06-13-testing-configuration-parameters.md │ │ ├── 2016-06-30-tests-as-complete-specifications.md │ │ ├── 2016-07-04-calculating-the-mean.md │ │ ├── 2016-07-09-hypothesis-3.4.1-release.md │ │ ├── 2016-07-13-hypothesis-3.4.2-release.md │ │ ├── 2016-07-23-what-is-hypothesis.md │ │ ├── 2016-08-09-hypothesis-pytest-fixtures.md │ │ ├── 2016-08-19-recursive-data.md │ │ ├── 2016-08-31-how-many-tests.md │ │ ├── 2016-09-04-hypothesis-vs-eris.md │ │ ├── 2016-09-23-hypothesis-3.5.0-release.md │ │ ├── 2016-10-01-pytest-integration-sponsorship.md │ │ ├── 2016-10-17-canonical-serialization.md │ │ ├── 2016-10-31-hypothesis-3.6.0-release.md │ │ ├── 2016-12-05-integrated-shrinking.md │ │ ├── 2016-12-08-compositional-shrinking.md │ │ ├── 2016-12-10-how-hypothesis-works.md │ │ ├── 2017-03-09-hypothesis-for-researchers.md │ │ ├── 2017-04-05-how-not-to-die-hard-with-hypothesis.md │ │ ├── 2017-07-16-types-and-properties.md │ │ ├── 2017-09-14-multi-bug-discovery.md │ │ ├── 2017-09-28-threshold-problem.md │ │ ├── 2018-01-08-smarkets.md │ │ ├── 2018-02-27-continuous-releases.md │ │ ├── 2020-06-08-complex-data-strategies.md │ │ ├── 2025-08-07-thread-safe.md │ │ ├── 2025-11-01-claude-code-plugin.md │ │ ├── 2025-11-16-introducing-hypofuzz.md │ │ └── pages/ │ │ └── testimonials.md │ ├── pelicanconf.py │ └── theme/ │ ├── static/ │ │ ├── prism.css │ │ ├── prism.js │ │ └── style.css │ └── templates/ │ ├── article-card.html │ ├── article.html │ ├── base.html │ ├── category.html │ ├── index.html │ └── page.html └── whole_repo_tests/ ├── __init__.py ├── documentation/ │ ├── __init__.py │ └── test_documentation.py ├── types/ │ ├── __init__.py │ ├── revealed_types.py │ ├── test_hypothesis.py │ ├── test_mypy.py │ └── test_pyright.py └── whole_repo/ ├── __init__.py ├── test_ci_config.py ├── test_deploy.py ├── test_release_files.py ├── test_release_management.py ├── test_requirements.py ├── test_rst_is_valid.py ├── test_shellcheck.py └── test_validate_branch_check.py