[CHERIoT] Improve test convergence through custom instruction sequences, which create valid capabilities instead of quickly clearing the tag through randomization
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 names CHERIoT test convergence, custom instruction sequences, valid capabilities, and randomization but provides no files, tests, or entry points. Start by locating the CHERIoT tests and their randomization logic; done means custom sequences improve convergence while producing valid capabilities.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100