IntersectMBO / IntersectMBO/ouroboros-network
GovernorMockEnvironment shrinker failure
- Dominant language
- Haskell
- Stars
- 296
- Forks
- 104
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 4
Description
```
shrink for GovernorMockEnvironment: FAIL (66.86s)
*** Failed! Falsified (after 96 tests and 243 shrinks):
ShrinkCarefully (GovernorMockEnvironment {peerGraph = PeerGraph [], localRootPeers = fromGroups [], publicRootPeers = PublicRootPeers {getPublicConfigPeers = fromList [], getBootstrapPeers = fromList [], getLedgerPeers = fromList [], getBigLedgerPeers = fromList []}, targets = Script ((ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 30, targetNumberOfEstablishedBigLedgerPeers = 30, targetNumberOfActiveBigLedgerPeers = 30}},NoDelay) :| [(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 12, targetNumberOfEstablishedBigLedgerPeers = 12, targetNumberOfActiveBigLedgerPeers = 12}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 11, targetNumberOfEstablishedBigLedgerPeers = 8, targetNumberOfActiveBigLedgerPeers = 4}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 29, targetNumberOfEstablishedBigLedgerPeers = 29, targetNumberOfActiveBigLedgerPeers = 27}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 18, targetNumberOfEstablishedBigLedgerPeers = 9, targetNumberOfActiveBigLedgerPeers = 9}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 20, targetNumberOfEstablishedBigLedgerPeers = 20, targetNumberOfActiveBigLedgerPeers = 10}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 72, targetNumberOfEstablishedPeers = 72, targetNumberOfActivePeers = 71, targetNumberOfKnownBigLedgerPeers = 360, targetNumberOfEstablishedBigLedgerPeers = 360, targetNumberOfActiveBigLedgerPeers = 27}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 10, targetNumberOfEstablishedBigLedgerPeers = 7, targetNumberOfActiveBigLedgerPeers = 4}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 66, targetNumberOfKnownPeers = 383, targetNumberOfEstablishedPeers = 266, targetNumberOfActivePeers = 4, targetNumberOfKnownBigLedgerPeers = 601, targetNumberOfEstablishedBigLedgerPeers = 217, targetNumberOfActiveBigLedgerPeers = 23}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 20, targetNumberOfKnownPeers = 514, targetNumberOfEstablishedPeers = 425, targetNumberOfActivePeers = 55, targetNumberOfKnownBigLedgerPeers = 1001, targetNumberOfEstablishedBigLedgerPeers = 1001, targetNumberOfActiveBigLedgerPeers = 14}},NoDelay)]), pickKnownPeersForPeerShare = Script (PickFirst :| []), pickColdPeersToPromote = Script (PickFirst :| []), pickWarmPeersToPromote = Script (PickFirst :| []), pickHotPeersToDemote = Script (PickFirst :| []), pickWarmPeersToDemote = Script (PickFirst :| []), pickColdPeersToForget = Script (PickFirst :| []), pickInboundPeers = Script (PickFirst :| []), peerSharingFlag = PeerSharingDisabled, useBootstrapPeers = Script ((DontUseBootstrapPeers,NoDelay) :| []), consensusMode = GenesisMode, useLedgerPeers = Script ((UseLedgerPeers Always,NoDelay) :| []), ledgerStateJudgement = Script ((TooOld,NoDelay) :| [])})
shrink result invalid:
GovernorMockEnvironment {peerGraph = PeerGraph [], localRootPeers = fromGroups [], publicRootPeers = PublicRootPeers {getPublicConfigPeers = fromList [], getBootstrapPeers = fromList [], getLedgerPeers = fromList [], getBigLedgerPeers = fromList []}, targets = Script ((ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 30, targetNumberOfEstablishedBigLedgerPeers = 30, targetNumberOfActiveBigLedgerPeers = 30}},NoDelay) :| [(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 12, targetNumberOfEstablishedBigLedgerPeers = 12, targetNumberOfActiveBigLedgerPeers = 12}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 11, targetNumberOfEstablishedBigLedgerPeers = 8, targetNumberOfActiveBigLedgerPeers = 4}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 29, targetNumberOfEstablishedBigLedgerPeers = 29, targetNumberOfActiveBigLedgerPeers = 27}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 18, targetNumberOfEstablishedBigLedgerPeers = 9, targetNumberOfActiveBigLedgerPeers = 9}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 20, targetNumberOfEstablishedBigLedgerPeers = 20, targetNumberOfActiveBigLedgerPeers = 10}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 72, targetNumberOfEstablishedPeers = 72, targetNumberOfActivePeers = 71, targetNumberOfKnownBigLedgerPeers = 360, targetNumberOfEstablishedBigLedgerPeers = 360, targetNumberOfActiveBigLedgerPeers = 27}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 10, targetNumberOfEstablishedBigLedgerPeers = 7, targetNumberOfActiveBigLedgerPeers = 4}},NoDelay),(ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 66, targetNumberOfKnownPeers = 383, targetNumberOfEstablishedPeers = 266, targetNumberOfActivePeers = 4, targetNumberOfKnownBigLedgerPeers = 601, targetNumberOfEstablishedBigLedgerPeers = 217, targetNumberOfActiveBigLedgerPeers = 23}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 20, targetNumberOfKnownPeers = 514, targetNumberOfEstablishedPeers = 425, targetNumberOfActivePeers = 55, targetNumberOfKnownBigLedgerPeers = 1001, targetNumberOfEstablishedBigLedgerPeers = 1001, targetNumberOfActiveBigLedgerPeers = 14}},NoDelay)]), pickKnownPeersForPeerShare = Script (PickFirst :| []), pickColdPeersToPromote = Script (PickFirst :| []), pickWarmPeersToPromote = Script (PickFirst :| []), pickHotPeersToDemote = Script (PickFirst :| []), pickWarmPeersToDemote = Script (PickFirst :| []), pickColdPeersToForget = Script (PickFirst :| []), pickInboundPeers = Script (PickFirst :| []), peerSharingFlag = PeerSharingDisabled, useBootstrapPeers = Script ((DontUseBootstrapPeers,NoDelay) :| []), consensusMode = PraosMode, useLedgerPeers = Script ((UseLedgerPeers Always,NoDelay) :| []), ledgerStateJudgement = Script ((TooOld,NoDelay) :| [])}
failed peer selection targets sanity check
Use --quickcheck-replay="(SMGen 14068474964117999627 760026098883163057,15)" to reproduce.
Use -p '/shrink for GovernorMockEnvironment/' to rerun this test only.
```
It was encountered on [hydra](https://ci.iog.io/build/5664914/nixlog/1), I reproduced it locally.
Contributor guide
Assessment
This issue has not been assessed yet.