Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Report source-based coverage results #2640

Open
adpaco-aws opened this issue Jul 28, 2023 · 0 comments
Open

Report source-based coverage results #2640

adpaco-aws opened this issue Jul 28, 2023 · 0 comments
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.
Milestone
Coverage reports

Comments

@adpaco-aws
Copy link
Contributor

adpaco-aws commented Jul 28, 2023 •
edited
Loading

Requested feature: The approach introduced in #2612 is a good start for coverage, but the end goal is to have source-based coverage results which are clearer than line-based for users. Maybe this way we can avoid #2639 while at the same time improving how report coverage.
Use case: Coverage results
Link to relevant documentation (Rust reference, Nomicon, RFC): #2612
@adpaco-aws adpaco-aws added the [C] Feature / Enhancement A new feature request or enhancement to an existing feature. label Jul 28, 2023
@adpaco-aws adpaco-aws mentioned this issue Jul 28, 2023
Merged
4 tasks
@adpaco-aws adpaco-aws added this to the Coverage reports milestone Jul 31, 2023
@adpaco-aws adpaco-aws changed the title Report region-based coverage results Report source-based coverage results Apr 11, 2024
@adpaco-aws adpaco-aws mentioned this issue Apr 15, 2024
Merged
@adpaco-aws adpaco-aws mentioned this issue Jul 25, 2024
Closed
github-merge-queue bot pushed a commit that referenced this issue Aug 27, 2024
@adpaco-aws
RFC: Source-based code coverage (#3143)
7a02955 
Upgrades the Kani coverage feature with the source-based code coverage
implementation used in the Rust compiler.

Rendered version available
[here](https://github.com/adpaco-aws/rmc/blob/rfc-region-cov/rfc/src/rfcs/0011-source-coverage.md).

Related to #2640 

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.
Projects
None yet
Milestone
Coverage reports
Development

No branches or pull requests
1 participant
@adpaco-aws