IntersectMBO / IntersectMBO/ouroboros-network
BlockFetch termination failure
Open
block-fetch
- Dominant language
- Haskell
- Stars
- 296
- Forks
- 104
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 4
Description
```
termination: FAIL (46.42s)
*** Failed! Falsified (after 100 tests and 10 shrinks):
...
block-fetch was unstoppable
Use --quickcheck-replay=223266 to reproduce.
Use -p '/termination/' to rerun this test only.
```
Unfortunately, the test case was too long to fit in a GitHub message. We should improve the shrinker.
Contributor guide
Assessment
This issue has not been assessed yet.