search

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.
https://ouroboros-network.cardano.intersectmbo.org
Apache License 2.0
274 stars 87 forks source link

`prop_timeouts_io` for `withTimeoutSerialAlternative` fails #1944

Open coot opened 4 years ago

nfrisby commented 4 years ago

This is still failing as of 47bf0e39775929477aa718725e5d6ce83f763749, merge of PR 2178, 2020 May 30. Seems to fail consistently within 5000 tests or so.

coot commented 4 years ago

@dcoutts could you review #2123

newhoggy commented 3 years ago

Observed again here: https://github.com/input-output-hk/ouroboros-network/pull/2806/checks?check_run_id=1592918221

      prop_timeouts_io withTimeoutSerialAlternative:  FAIL (30.04s)
        *** Failed! Falsified (after 96 tests):
        [(0.003s,0s),(0.003s,0.005s),(0.004s,0.005s),(0.009s,0.004s),(0.002s,0.005s),(0.004s,0s),(0.002s,0.007s),(0.001s,0.003s),(0.008s,0.01s),(0s,0s),(0.001s,0.004s),(0.001s,0.002s),(0.002s,0.004s),(0.001s,0.002s),(0.001s,0.004s),(0.004s,0.004s),(0s,0.003s),(0.005s,0.009s),(0.008s,0.002s),(0s,0.004s),(0.001s,0.003s),(0.002s,0.003s),(0.01s,0s),(0.002s,0.002s),(0.004s,0.004s)]
        failure on timeout test #2
        intendedTimeoutDuration: 0.003s
        intendedActionDuration:  0.005s
        intendedOverallDuration: 0.003s
        actualOverallDuration:   0.316533644s
        positiveSchedulingTolerance: 0.3s
        violation of timer sanity property:
          actualOverallDuration <= intendedOverallDuration
                                 + positiveSchedulingTolerance
        Use --quickcheck-replay=186950 to reproduce.
newhoggy commented 3 years ago

Observed again here: https://github.com/input-output-hk/ouroboros-network/pull/2806/checks?check_run_id=1732605796