IntersectMBO / IntersectMBO/ouroboros-network
BlockFetch client QC properties fail when peers are connected with a channel with delay
Open
block-fetch
testing
- Dominant language
- Haskell
- Stars
- 296
- Forks
- 104
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 4
Description
The following two properties:
* `prop_blockFetchStaticWithOverlap`
* `prop_blockFetchStaticWithoutOverlap`
are failing if both client and server channels have a constant delay (even if it is set to `0`). The failing predicate is `tracePropertyInFlight`: `reqsInFlight ≠ 0`.
Contributor guide
Assessment
This issue has not been assessed yet.