runtimeverification / runtimeverification/kontrol
Review new Foundry cheatcodes
Open
Nobody has claimed this yet.
enhancement
investigation
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
We should review and consider adding support for relevant cheatcodes introduced in forge-std v1.8.2: https://github.com/foundry-rs/forge-std/releases/tag/v1.8.2.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the forge-std v1.8.2 release notes and compare its new cheatcodes with the cheatcodes currently supported by Kontrol. Identify which additions are relevant, then trace their existing support before defining what implementation and tests would be needed; done when the relevant support scope is agreed and covered.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- testing, tooling
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100