Giters

IntersectMBO / ouroboros-network

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

Home Page:https://ouroboros-network.cardano.intersectmbo.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

BlockFetch termination failure

coot opened this issue · comments

commented 
    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.