aio-libs / multidict / 35839030107

86%

push

github

Document how to run the Hypothesis property tests (#1525)

<!-- Thank you for your contribution! -->

## What do these changes do?

`AGENTS.md` described how to run the suite without mentioning that the
property tests under `tests/test_hypothesis_*.py` are not part of it.
`pytest.ini` sets `-m "not hypothesis"`, so a plain `make test` skips
them and reports a pass, and `make install-dev` does not install
hypothesis either, since the pin lives in its own
`requirements/pytest-hypothesis.txt`. Someone following the file as
written would believe they had run the whole suite.

The Tests section now records the marker override, the separate
requirements file and the reason it is separate, and the fact that one
`-m hypothesis` run already covers both backends. Documentation only.

## Are there changes in behavior for the user?

No.

## Is it a substantial burden for the maintainers to support this?

No.

## Related issue number

None. Follow-up to #1523, which fixed the pure-Python invocation in the
same section.

## Checklist

- [x] I think the code is well written
- [ ] Unit tests for the changes exist — N/A, documentation-only change
- [x] Documentation reflects the changes
- [ ] If you provide code modification, please add yourself to
`CONTRIBUTORS.txt` — N/A, no such file in this repo
- [x] Add a new news fragment into the `CHANGES/` folder
- [x] `make doc-spelling` passes and any new technical words are added
to `docs/spelling_wordlist.txt`

Drafted with Claude Code (Opus 5); reviewed by @asvetlov.

<details>
<summary>Agent run details (optional, for reviewers)</summary>

Claims checked against the tree rather than assumed.

`make install-dev` really does not bring hypothesis in; a fresh venv
built from `requirements/dev.txt` has no `hypothesis` module:

```
$ pip install -r requirements/dev.txt && pip install -e .
$ python -c "import hypothesis"
ModuleNotFoundError: No module named 'hypothesis'
```

The documented commands, run verbatim on CPython 3.1... (continued)

765 of 1530 branches covered (50.0%)

Branch coverage included in aggregate %.

6860 of 7147 relevant lines covered (95.98%)

1.92 hits per line