IntersectMBO / IntersectMBO/ouroboros-network
Write property tests for P2P governor policies
Open
ouroboros-diffusion
testing
- Dominant language
- Haskell
- Stars
- 296
- Forks
- 104
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 4
Description
First find out all the laws that they must obey. For example the forgetting policy must return non empty list of peers if given a non empty list of choices.
Contributor guide
Assessment
This issue has not been assessed yet.