coverage: Simplify building the coverage graph with CoverageSuccessors
#119508
Merged
bors merged 5 commits intorust-lang:masterfrom Jan 15, 2024
Commits
Commits on Jan 14, 2024
- committed
- committed
- committed
- committed
- committed