[CHERIoT] Verification sign-off & coverage waivers / gap analysis
Open
- Dominant language
- SystemVerilog
- Stars
- 3.6k
- Forks
- 1.1k
- Avg merge
- 2d 22h
- Merged PRs (30d)
- 141
Description
This issue has no description.
Contributor guide
Research direction
The issue body names no files, tests, entry points, or acceptance criteria. Start by reviewing the CHERIoT verification context and the issue discussion, then identify the coverage gaps and waiver requirements; completion criteria are not defined in the payload.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing-qa
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100