clash-lang / clash-lang/clash-protocols
Make `genStall` configurable in `propWithModel`
Open
- Dominant language
- Haskell
- Stars
- 25
- Forks
- 12
- PR merge metrics
- No merged PRs in 30d
Description
See
https://github.com/clash-lang/clash-protocols/blob/623ecd9658fa5b15f71b0d86bac6b714b4b86dc4/src/Protocols/Hedgehog.hs#L129-L130
and
https://github.com/clash-lang/clash-protocols/pull/91#discussion_r1694784524
Contributor guide
No contributing guide indexed for this repository
Research direction
Start in src/Protocols/Hedgehog.hs around the propWithModel definition and the genStall usage at the linked lines. Read the linked pull request discussion for the intended configuration boundary, then confirm that callers can choose genStall behavior without changing unrelated property generation.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- testing
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100