Skip to content

Add tests for coverage check and coverage --prefer-stubs#4251

Open
jorenham wants to merge 1 commit into
facebook:mainfrom
jorenham:coverage/missing-tests
Open

Add tests for coverage check and coverage --prefer-stubs#4251
jorenham wants to merge 1 commit into
facebook:mainfrom
jorenham:coverage/missing-tests

Conversation

@jorenham

@jorenham jorenham commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator

Summary

The coverage check command had no tests, and the prefer-stubs merging was only covered through test helpers that bypass the "real" pipeline.

This adds tests for the check and report CLI commands, plus two end-to-end --prefer-stubs runs: one for a .py + .pyi living harmoneously together, and another for a stubs-only project where the .pyi and .py have a long-distance relation (.py lives in far away in site-package-path).

Test Plan

No behavior changes; tests only (and they all pass 🎉)

@jorenham jorenham added the coverage Issues related to `pyrefly coverage`, `pyrefly report` label Jul 22, 2026
@meta-cla meta-cla Bot added the cla signed label Jul 22, 2026
@github-actions

Copy link
Copy Markdown

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla signed coverage Issues related to `pyrefly coverage`, `pyrefly report` quansight size/l

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants