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

RFC: Source-based code coverage #3143

Merged
merged 24 commits into from
Aug 27, 2024
Merged

RFC: Source-based code coverage #3143

Show file tree
Hide file tree
Changes from 20 commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
ae64a17
Move content into new RFC file
adpaco-aws Apr 26, 2024
d1ab79a
Link to previous work (line coverage)
adpaco-aws Apr 26, 2024
f6cf59e
Increment ID and add to `SUMMARY.md`
adpaco-aws Apr 26, 2024
7e73de8
Changes for a simpler UX
adpaco-aws Apr 26, 2024
b7da7bb
Merge branch 'main' into rfc-region-cov
adpaco-aws Jul 31, 2024
580fa33
Add intro to "Design - coverage instrumentation" subsection
adpaco-aws Jul 31, 2024
f934614
Remaining intro and new subsections
adpaco-aws Jul 31, 2024
9cab108
Partial explanation of Rust instrumentation
adpaco-aws Jul 31, 2024
734f583
Complete subsection on Rust coverage instrumentation
adpaco-aws Aug 1, 2024
6fbf8e8
Format footnotes so it's clear they're footnotes
adpaco-aws Aug 2, 2024
049f610
A little more info. on counter kinds
adpaco-aws Aug 2, 2024
459e15a
Explanation of method (postprocess not included)
adpaco-aws Aug 5, 2024
bab8d91
Finish integration subsection
adpaco-aws Aug 6, 2024
9114e45
Make clarification on coverage statements to instrument
adpaco-aws Aug 6, 2024
3303b7f
Complete subsection on LLVM integration
adpaco-aws Aug 8, 2024
51f9049
Shorten introduction
adpaco-aws Aug 8, 2024
1b00337
Revise UX section
adpaco-aws Aug 8, 2024
264bd7d
Just refer to coverage mappings for now
adpaco-aws Aug 8, 2024
b334fac
Merge branch 'main' into rfc-region-cov
adpaco-aws Aug 8, 2024
c3e22d6
Short intro to design
adpaco-aws Aug 8, 2024
703a405
Part of counter expressions
adpaco-aws Aug 8, 2024
1f49b1d
Complete counter section
adpaco-aws Aug 23, 2024
5ed66ed
Complete default behavior for Kani coverage workflow
adpaco-aws Aug 23, 2024
7f5ba8e
Merge branch 'main' into rfc-region-cov
adpaco-aws Aug 23, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions rfc/src/SUMMARY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,3 +16,4 @@
- [0008-line-coverage](rfcs/0008-line-coverage.md)
- [0009-function-contracts](rfcs/0009-function-contracts.md)
- [0010-quantifiers](rfcs/0010-quantifiers.md)
- [0011-source-coverage](rfcs/0011-source-coverage.md)
2 changes: 1 addition & 1 deletion rfc/src/rfcs/0008-line-coverage.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
- **Feature Name:** Line coverage (`line-coverage`)
- **Feature Request Issue:** <https://github.com/model-checking/kani/issues/2610>
- **RFC PR:** <https://github.com/model-checking/kani/pull/2609>
- **Status:** Unstable
- **Status:** Cancelled
- **Version:** 0
- **Proof-of-concept:** <https://github.com/model-checking/kani/pull/2609> (Kani) + <https://github.com/model-checking/kani-vscode-extension/pull/122> (Kani VS Code Extension)

Expand Down
Loading
Loading