You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
## Summary
- Add `cargo llvm-cov` coverage infrastructure with two modes:
- `just coverage` — karva crate only, ~70% line coverage, HTML output
- `just coverage-full` — all crates including `karva_test_semantic` via
instrumented worker binary, ~86% line coverage
- Add coverage CI job to the existing workflow (same trigger conditions
as `cargo test`)
- Add `KARVA_WORKER_BINARY` env var override for worker binary discovery
- Add private `__KARVA_COVERAGE` env var to gate coverage-only venv
activation in the embedded Python interpreter
The coverage-specific code (venv activation for the embedded PyO3
interpreter) is completely gated behind `__KARVA_COVERAGE` and is a
no-op during normal test runs. All 685 tests continue to pass unchanged.
## Test plan
- [x] `just test` — 685/685 tests pass (no behavior change)
- [x] `just coverage` — 457/457 tests pass, HTML report generated
- [x] `just coverage-full` — 457/457 tests pass, 86% line coverage
across all crates
- [x] `uvx prek run -a` — all pre-commit checks pass
0 commit comments