node only use bootstrap peers if in sensitive state: FAIL (4.59s)
*** Failed! Falsified (after 87 tests and 192 shrinks):
GovernorPraosMockEnvironment {getMockEnv = GovernorMockEnvironment {peerGraph = PeerGraph [(PeerAddr 47,[],GovernorScripts {peerShareScript = Script (Nothing :| []), peerSharingScript = Script (PeerSharingDisabled :| []), connectionScript = Script ((Noop,NoDelay) :| [])})], localRootPeers = fromGroups [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 1},fromList [(PeerAddr 47,LocalRootConfig {peerAdvertise = DoAdvertisePeer, diffusionMode = InitiatorOnlyDiffusionMode, extraLocalRootFlags = IsTrustable})])], publicRootPeers = PublicRootPeers {getLedgerPeers = fromList [], getBigLedgerPeers = fromList [], getExtraPeers = ExtraPeers {publicConfigPeers = fromList [], bootstrapPeers = fromList []}}, targets = Script (((PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 1, targetNumberOfEstablishedPeers = 1, targetNumberOfActivePeers = 1, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0},PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 1, targetNumberOfEstablishedPeers = 1, targetNumberOfActivePeers = 1, targetNumberOfKnownBigLedgerPeers = 10, targetNumberOfEstablishedBigLedgerPeers = 1, targetNumberOfActiveBigLedgerPeers = 1}),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 ((UseBootstrapPeers [RelayAccessSRVDomain "_cardano._tcp.test1"],NoDelay) :| []), consensusMode = PraosMode, useLedgerPeers = Script ((UseLedgerPeers (After (SlotNo 14280047114229709542)),NoDelay) :| []), ledgerStateJudgement = Script ((TooOld,NoDelay) :| [(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,NoDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,NoDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,ShortDelay),(TooOld,NoDelay),(YoungEnough,NoDelay)]), seed = TestSeed {unTestSeed = 3521326816647396304}}}
Last 20 signal values:
Time 0s : fromList []
Property violated at: Time 10s
Invalid signal value:
fromList [()]
Use --quickcheck-replay="(SMGen 12331906982783255023 7850964960383207769,86)" to reproduce.
Use -p '/node only use bootstrap peers if in sensitive state/' to rerun this test only.
