IntersectMBO / IntersectMBO/ouroboros-network
Reduce QSM boilerplate
Open
needs-grooming
- Dominant language
- Haskell
- Stars
- 296
- Forks
- 104
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 4
Description
At the moment all the quick-check state-machine from consensus use the scaffolding described [in this blogpost](https://iohk.io/en/blog/posts/2019/01/28/an-in-depth-look-at-quickcheck-state-machine/). Each new test requires around 500 LOC of boilerplate. If we continue using QSM we should abstract this away.
Also, we need to evaluate if the scaffolding above is suitable for running parallel tests.
Contributor guide
Assessment
This issue has not been assessed yet.