ouroboros-network icon indicating copy to clipboard operation
ouroboros-network copied to clipboard
verified publisher icon IntersectMBO

PeerSelection test failure: target active local below

Open coot opened this issue 5 months ago • 0 comments 

     target active local below:                                                FAIL (883.67s)
        *** Failed! Falsified (after 25 tests and 44 shrinks):
        AbsBearerInfo {abiConnectionDelay = LargeDelay, abiInboundAttenuation = NoAttenuation FastSpeed, abiOutboundAttenuation = NoAttenuation SlowSpeed, abiInboundWriteFailure = Nothing, abiOutboundWriteFailure = Nothing, abiAcceptFailure = Nothing, abiSDUSize = LargeSDU}
        DiffusionScript (SimArgs 1s 6) (Script ((fromList [(("test3",AAAA),Left [(901a:dde:0:dbf:0:967:0:8b4,300)]),(("test4",AAAA),Left [(5310:7aa7:0:f85:0:29e:0:854,300)]),(("test5",AAAA),Left [(8731:c270:0:3f3:0:e99:0:c0a,300)])],NoDelay) :| [])) [(NodeArgs (-5) InitiatorAndResponderDiffusionMode (fromList [(RelayAccessDomain "test3" 1032,DoAdvertisePeer),(RelayAccessDomain "test4" 1085,DoAdvertisePeer)]) GenesisMode (Script (DontUseBootstrapPeers :| [])) (TestAddress IPAddr (read "8731:c270:0:3f3:0:e99:0:c0a") 1037) PeerSharingEnabled [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessDomain "test3" 1032,LocalRootConfig {peerAdvertise = DoNotAdvertisePeer, diffusionMode = InitiatorAndResponderDiffusionMode, extraFlags = IsTrustable}),(RelayAccessDomain "test4" 1085,LocalRootConfig {peerAdvertise = DoAdvertisePeer, diffusionMode = InitiatorOnlyDiffusionMode, extraFlags = IsNotTrustable})])] Script (LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 433833 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 21913 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 238414 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 173540 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 423662 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 359788 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 138397 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 514216 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 66868 % 2370631},LedgerRelayAccessDomain "test5" 1037 :| [])]} :| [LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 494797 % 9546228},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 160381 % 2386557},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 124139 % 3182076},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 102206 % 2386557},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 1955 % 265173},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 450235 % 9546228},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 9623 % 1591038},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 46774 % 2386557},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 102181 % 3182076},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 469445 % 4773114},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 180275 % 3182076},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 184259 % 3182076},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 14169 % 353564},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 91037 % 1060692},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 9347 % 9546228},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 398185 % 9546228},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 73409 % 3182076},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 85919 % 9546228},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 450137 % 4773114},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 189865 % 4773114},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 250639 % 4773114},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 413663 % 4773114},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 679232 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 487517 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 357901 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 674123 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 904408 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 289423 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 173687 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 471330 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 547619 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 653675 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 652795 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 122346 % 986143},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 154869 % 6903001},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 931615 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 376663 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 137926 % 2763177},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 294668 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 9954 % 921059},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 54753 % 921059},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 108206 % 2763177},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 647069 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 285386 % 2763177},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 312052 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 69762 % 921059},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 437404 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 18103 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 38509 % 921059},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 225041 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 179630 % 2763177},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 100679 % 921059},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 450559 % 8289531},LedgerRelayAccessDomain "test5" 1037 :| [])]}]) (PeerSelectionTargets {targetNumberOfRootPeers = 1, targetNumberOfKnownPeers = 6, targetNumberOfEstablishedPeers = 3, targetNumberOfActivePeers = 2, targetNumberOfKnownBigLedgerPeers = 5, targetNumberOfEstablishedBigLedgerPeers = 5, targetNumberOfActiveBigLedgerPeers = 3},PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 5, targetNumberOfEstablishedPeers = 3, targetNumberOfActivePeers = 3, targetNumberOfKnownBigLedgerPeers = 3, targetNumberOfEstablishedBigLedgerPeers = 2, targetNumberOfActiveBigLedgerPeers = 0}) (Script (DNSTimeout {getDNSTimeout = 0.211s} :| [DNSTimeout {getDNSTimeout = 0.15s},DNSTimeout {getDNSTimeout = 0.237s},DNSTimeout {getDNSTimeout = 0.283s},DNSTimeout {getDNSTimeout = 0.236s},DNSTimeout {getDNSTimeout = 0.385s},DNSTimeout {getDNSTimeout = 0.152s},DNSTimeout {getDNSTimeout = 0.408s},DNSTimeout {getDNSTimeout = 0.386s},DNSTimeout {getDNSTimeout = 0.314s}])) (Script (DNSLookupDelay {getDNSLookupDelay = 0.064s} :| [DNSLookupDelay {getDNSLookupDelay = 0.05s},DNSLookupDelay {getDNSLookupDelay = 0.074s}])) (Nothing) False Script (FetchModeBulkSync :| [FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync]),[JoinNetwork 0s]),(NodeArgs (17) InitiatorAndResponderDiffusionMode (fromList [(RelayAccessDomain "test3" 1032,DoAdvertisePeer)]) GenesisMode (Script (DontUseBootstrapPeers :| [])) (TestAddress IPAddr (read "5310:7aa7:0:f85:0:29e:0:854") 1085) PeerSharingEnabled [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 1},fromList [(RelayAccessDomain "test3" 1032,LocalRootConfig {peerAdvertise = DoNotAdvertisePeer, diffusionMode = InitiatorOnlyDiffusionMode, extraFlags = IsNotTrustable}),(RelayAccessDomain "test5" 1037,LocalRootConfig {peerAdvertise = DoNotAdvertisePeer, diffusionMode = InitiatorOnlyDiffusionMode, extraFlags = IsTrustable})])] Script (LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 755266 % 3667351},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 211735 % 3667351},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 454810 % 3667351},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 940551 % 3667351},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 507493 % 3667351},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 797496 % 3667351},LedgerRelayAccessDomain "test5" 1037 :| [])]} :| [LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 993673 % 10634618},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 688325 % 10634618},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 378048 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 327145 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 327592 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 275085 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 126909 % 10634618},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 203459 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 341204 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 227165 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 244098 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 817003 % 10634618},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 749859 % 10634618},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 476847 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 54343 % 10634618},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 792513 % 10634618},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 329209 % 10634618},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 240749 % 5317309},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 449234 % 2412559},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 42801 % 4825118},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 495344 % 2412559},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 221225 % 4825118},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 438744 % 2412559},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 435197 % 2412559},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 119447 % 4825118},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 804607 % 4825118},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 216273 % 1202179},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 920181 % 4808716},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 46531 % 2404358},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 808661 % 4808716},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 371709 % 4808716},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 34636 % 1202179},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 895825 % 4808716},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 4185 % 2404358},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 596213 % 4808716},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 111059 % 4808716},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 407688 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 723061 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 944527 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 163102 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 636934 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 684709 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 583588 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 545294 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 161628 % 2268709},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 40573 % 2268709},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 289362 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 748729 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 31215 % 2268709},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 675604 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 874731 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 863604 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 37027 % 2268709},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 231128 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 452499 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 56768 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 238186 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 42116 % 11343545},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 165940 % 2268709},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 714898 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 960707 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 914337 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 108187 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 372525 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 819415 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 706914 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 277765 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 171410 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 130851 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 982685 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 254974 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 382151 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 268154 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 990927 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 672008 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 25343 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 307744 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 563187 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 326239 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 1288 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 763630 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 110222 % 10825561},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 467559 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 399840 % 2917441},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 305225 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 97 % 2917441},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 379999 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 421635 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 239545 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 529689 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 288833 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 439413 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 12507 % 94111},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 386541 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 801135 % 5834882},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 36487 % 2449510},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 543797 % 9798040},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 13556 % 244951},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 140731 % 2449510},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 6348 % 1224755},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 992917 % 9798040},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 284409 % 4899020},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 722873 % 9798040},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 246443 % 2449510},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 30117 % 4899020},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 224443 % 4899020},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 45613 % 1959608},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 2298 % 1224755},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 853439 % 9798040},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 13005 % 279944},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 842547 % 9798040},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 69121 % 1399720},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 86101 % 9798040},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 421399 % 4899020},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 18953 % 1224755},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 210867 % 9798040},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 403047 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 815348 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 542561 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 19111 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 47635 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 966035 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 946834 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 773973 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 561699 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 195914 % 5272157},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 55503 % 3606853},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 534017 % 7213706},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 748491 % 7213706},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 994589 % 7213706},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 585997 % 7213706},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 901903 % 7213706},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 492711 % 3606853},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 90870 % 3606853},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 306477 % 3606853},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 730745 % 7213706},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 413421 % 3606853},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 544289 % 1321924},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 777635 % 1321924},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 828194 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 151686 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 285760 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 283133 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 532322 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 110528 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 750175 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 643002 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 810091 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 57959 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 54211 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 957168 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 849282 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 78582 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 710146 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 158134 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 425673 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 553909 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 620262 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 20987 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 224392 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 156705 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 239096 % 9501397},LedgerRelayAccessDomain "test5" 1037 :| [])]}]) (PeerSelectionTargets {targetNumberOfRootPeers = 1, targetNumberOfKnownPeers = 4, targetNumberOfEstablishedPeers = 4, targetNumberOfActivePeers = 3, targetNumberOfKnownBigLedgerPeers = 4, targetNumberOfEstablishedBigLedgerPeers = 1, targetNumberOfActiveBigLedgerPeers = 0},PeerSelectionTargets {targetNumberOfRootPeers = 1, targetNumberOfKnownPeers = 1, targetNumberOfEstablishedPeers = 1, targetNumberOfActivePeers = 1, targetNumberOfKnownBigLedgerPeers = 5, targetNumberOfEstablishedBigLedgerPeers = 3, targetNumberOfActiveBigLedgerPeers = 2}) (Script (DNSTimeout {getDNSTimeout = 0.154s} :| [DNSTimeout {getDNSTimeout = 0.179s},DNSTimeout {getDNSTimeout = 0.178s},DNSTimeout {getDNSTimeout = 0.381s},DNSTimeout {getDNSTimeout = 0.339s}])) (Script (DNSLookupDelay {getDNSLookupDelay = 0.048s} :| [DNSLookupDelay {getDNSLookupDelay = 0.108s},DNSLookupDelay {getDNSLookupDelay = 0.052s}])) (Nothing) False Script (FetchModeDeadline :| [FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline]),[JoinNetwork 21s,Kill 1.265625s,JoinNetwork 5s,Kill 0.40104192s,JoinNetwork 2.333333080001s,Reconfigure 31s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 1},fromList [(RelayAccessDomain "test3" 1032,LocalRootConfig {peerAdvertise = DoNotAdvertisePeer, diffusionMode = InitiatorOnlyDiffusionMode, extraFlags = IsNotTrustable})])]]),(NodeArgs (23) InitiatorAndResponderDiffusionMode (fromList [(RelayAccessDomain "test4" 1085,DoAdvertisePeer)]) GenesisMode (Script (DontUseBootstrapPeers :| [])) (TestAddress IPAddr (read "901a:dde:0:dbf:0:967:0:8b4") 1032) PeerSharingEnabled [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 1},fromList [(RelayAccessDomain "test4" 1085,LocalRootConfig {peerAdvertise = DoAdvertisePeer, diffusionMode = InitiatorAndResponderDiffusionMode, extraFlags = IsTrustable}),(RelayAccessDomain "test5" 1037,LocalRootConfig {peerAdvertise = DoNotAdvertisePeer, diffusionMode = InitiatorOnlyDiffusionMode, extraFlags = IsTrustable})])] Script (LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 247087 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 315845 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 477921 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 46055 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 312429 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 250173 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 575089 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 260616 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 244813 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 226788 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 154489 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 200623 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 65851 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 276054 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 142411 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 33667 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 510809 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 218657 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 211113 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 904059 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 340662 % 4545589},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 272015 % 9091178},LedgerRelayAccessDomain "test5" 1037 :| [])]} :| [LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 124772 % 2279019},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 37707 % 759673},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 31839 % 1519346},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 380929 % 2279019},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 177530 % 2279019},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 206066 % 2279019},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 27695 % 1519346},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 33427 % 4558038},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 81927 % 1519346},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 469574 % 2279019},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 457883 % 4558038},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 471301 % 4558038},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 113530 % 2279019},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 37333 % 721507},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 684174 % 721507},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 21885 % 2666764},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 739627 % 8000292},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 671 % 2000073},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 202690 % 2000073},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 525965 % 8000292},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 103637 % 4000146},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 434653 % 8000292},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 206163 % 2666764},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 208603 % 2000073},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 957241 % 8000292},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 437269 % 8000292},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 164095 % 8000292},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 26076 % 666691},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 57840 % 666691},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 111691 % 1333382},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 87505 % 1333382},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 698543 % 4353072},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 409451 % 2176536},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 512149 % 4353072},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 29699 % 1088268},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 30997 % 4353072},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 325115 % 1451024},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 309479 % 1451024},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 5429 % 90689},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 9311 % 4353072},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 194897 % 12129572},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 232352 % 3032393},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 458273 % 6064786},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 104674 % 3032393},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 337955 % 6064786},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 607349 % 12129572},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 493807 % 12129572},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 10385 % 129038},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 930541 % 12129572},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 6232 % 3032393},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 57801 % 6064786},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 9325 % 133292},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 492775 % 6064786},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 223659 % 3032393},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 15629 % 866398},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 163921 % 3032393},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 205195 % 12129572},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 484803 % 6064786},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 857369 % 12129572},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 210277 % 12129572},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 194637 % 425375},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 89209 % 255225},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 246169 % 1276125},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 921592 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 754073 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 741898 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 993146 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 715748 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 621841 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 510644 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 380234 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 100693 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 9739 % 4124777},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 833356 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 292676 % 4124777},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 926390 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 46700 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 283269 % 4124777},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 21437 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 857953 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 825551 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 296848 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 514880 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 426526 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 127769 % 12374331},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 126841 % 1280195},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 671109 % 5120780},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 197247 % 1280195},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 38233 % 5120780},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 31149 % 1024156},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 692203 % 5120780},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 545591 % 5120780},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 864539 % 5120780},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 16171 % 1024156},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 110879 % 731540},LedgerRelayAccessDomain "test5" 1037 :| [])]},LedgerPools {getLedgerPools = [(PoolStake {unPoolStake = 799529 % 7722172},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 815559 % 7722172},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 301475 % 3861086},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 158424 % 1930543},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 250507 % 3861086},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 616437 % 7722172},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 220720 % 1930543},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 615079 % 7722172},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 995793 % 7722172},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 173345 % 7722172},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 490743 % 3861086},LedgerRelayAccessDomain "test5" 1037 :| []),(PoolStake {unPoolStake = 26101 % 1930543},LedgerRelayAccessDomain "test5" 1037 :| [])]}]) (PeerSelectionTargets {targetNumberOfRootPeers = 1, targetNumberOfKnownPeers = 4, targetNumberOfEstablishedPeers = 3, targetNumberOfActivePeers = 3, targetNumberOfKnownBigLedgerPeers = 6, targetNumberOfEstablishedBigLedgerPeers = 2, targetNumberOfActiveBigLedgerPeers = 2},PeerSelectionTargets {targetNumberOfRootPeers = 3, targetNumberOfKnownPeers = 4, targetNumberOfEstablishedPeers = 4, targetNumberOfActivePeers = 4, targetNumberOfKnownBigLedgerPeers = 6, targetNumberOfEstablishedBigLedgerPeers = 6, targetNumberOfActiveBigLedgerPeers = 4}) (Script (DNSTimeout {getDNSTimeout = 0.189s} :| [DNSTimeout {getDNSTimeout = 0.183s},DNSTimeout {getDNSTimeout = 0.353s},DNSTimeout {getDNSTimeout = 0.178s},DNSTimeout {getDNSTimeout = 0.177s},DNSTimeout {getDNSTimeout = 0.294s},DNSTimeout {getDNSTimeout = 0.24s},DNSTimeout {getDNSTimeout = 0.332s},DNSTimeout {getDNSTimeout = 0.241s},DNSTimeout {getDNSTimeout = 0.166s}])) (Script (DNSLookupDelay {getDNSLookupDelay = 0.129s} :| [])) (Nothing) False Script (FetchModeBulkSync :| [FetchModeDeadline,FetchModeBulkSync]),[JoinNetwork 10s])]

        Property violated at: Time 71.052000000001s
        Invalid signal value:
        ([(HotValency {getHotValency = 1},WarmValency {getWarmValency = 1},fromList [TestAddress IPAddr (read "901a:dde:0:dbf:0:967:0:8b4") 1032])],fromList [TestAddress IPAddr (read "8731:c270:0:3f3:0:e99:0:c0a") 1037,TestAddress IPAddr (read "901a:dde:0:dbf:0:967:0:8b4") 1032],fromList [TestAddress IPAddr (read "8731:c270:0:3f3:0:e99:0:c0a") 1037],fromList [],fromList [TestAddress IPAddr (read "901a:dde:0:dbf:0:967:0:8b4") 1032],fromList [TestAddress IPAddr (read "901a:dde:0:dbf:0:967:0:8b4") 1032])
        
        Use --quickcheck-replay="(SMGen 5702330354627525873 10504675414931668245,24)" to reproduce.
        Use -p '/IOSim.target active local below/' to rerun this test only.

Logs: https://ci.iog.io/build/8814755/nixlog/1

coot avatar Jul 28 '25 15:07 coot