Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.LedgerPeers

Synopsis

tests :: TestTree
newtype ArbitraryPortNumber = ArbitraryPortNumber {
- getArbitraryPortNumber :: PortNumber
}
newtype ArbitraryRelayAccessPoint = ArbitraryRelayAccessPoint {
- getArbitraryRelayAccessPoint :: RelayAccessPoint
}
newtype ArbitraryLedgerStateJudgement = ArbitraryLedgerStateJudgement {
- getArbitraryLedgerStateJudgement :: LedgerStateJudgement
}
newtype ArbitrarySlotNo = ArbitrarySlotNo {
- getArbitrarySlotNo :: SlotNo
}
data StakePool = StakePool {
- spStake :: !Word64
- spRelay :: NonEmpty RelayAccessPoint
}
newtype LedgerPools = LedgerPools {
- getLedgerPools :: [(PoolStake, NonEmpty RelayAccessPoint)]
}
calculateRelativeStake :: [StakePool] -> [(PoolStake, NonEmpty RelayAccessPoint)]
genLedgerPoolsFrom :: [RelayAccessPoint] -> Gen LedgerPools
newtype ArbLedgerPeersKind = ArbLedgerPeersKind LedgerPeersKind
newtype ArbStakeMapOverSource = ArbStakeMapOverSource {
- getArbStakeMapOverSource :: StakeMapOverSource
}
prop_ledgerPeerSnapshot_requests :: ArbStakeMapOverSource -> Property
prop_pick100 :: Word16 -> NonNegative Int -> ArbLedgerPeersKind -> MockRoots -> DelayAndTimeoutScripts -> ArbitrarySlotNo -> ArbitraryLedgerStateJudgement -> Property
prop_pick :: LedgerPools -> ArbLedgerPeersKind -> Word16 -> Word16 -> MockRoots -> Script DNSLookupDelay -> ArbitrarySlotNo -> ArbitraryLedgerStateJudgement -> Property
prop_accumulateBigLedgerStake :: LedgerPools -> Property
prop_recomputeRelativeStake :: LedgerPools -> Property
prop_getLedgerPeers :: ArbitrarySlotNo -> ArbitraryLedgerStateJudgement -> LedgerPools -> ArbitrarySlotNo -> Property
prop_ledgerPeerSnapshotCBORV1 :: ArbitrarySlotNo -> LedgerPools -> Property
prop_ledgerPeerSnapshotJSONV1 :: ArbitrarySlotNo -> LedgerPools -> Property
snapshotV1 :: ArbitrarySlotNo -> LedgerPools -> LedgerPeerSnapshot
data SimResult a
- = SimReturn a [String]
- | SimException SomeException [String]
- | SimDeadLock [String]
evaluateTrace :: SimTrace a -> IO (SimResult a)
data WithThreadAndTime a = WithThreadAndTime {
- wtatOccuredAt :: !Time
- wtatWithinThread :: !String
- wtatEvent :: !a
}
verboseTracer :: forall a (m :: Type -> Type). (MonadSay m, Show a) => Tracer m a
threadAndTimeTracer :: forall a (m :: Type -> Type). (MonadAsync m, MonadMonotonicTime m) => Tracer m (WithThreadAndTime a) -> Tracer m a

Documentation

tests :: TestTree Source #

newtype ArbitraryPortNumber Source #

Constructors

ArbitraryPortNumber
Fields getArbitraryPortNumber :: PortNumber

Instances

Instances details

Arbitrary ArbitraryPortNumber Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbitraryPortNumber # shrink :: ArbitraryPortNumber -> [ArbitraryPortNumber] #

newtype ArbitraryRelayAccessPoint Source #

Constructors

ArbitraryRelayAccessPoint
Fields getArbitraryRelayAccessPoint :: RelayAccessPoint

Instances

Instances details

Arbitrary ArbitraryRelayAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbitraryRelayAccessPoint # shrink :: ArbitraryRelayAccessPoint -> [ArbitraryRelayAccessPoint] #
Eq ArbitraryRelayAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods (==) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool # (/=) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool #
Ord ArbitraryRelayAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods compare :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Ordering # (<) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool # (<=) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool # (>) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool # (>=) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool # max :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint # min :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint #

newtype ArbitraryLedgerStateJudgement Source #

Constructors

ArbitraryLedgerStateJudgement
Fields getArbitraryLedgerStateJudgement :: LedgerStateJudgement

Instances

Instances details

Arbitrary ArbitraryLedgerStateJudgement Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbitraryLedgerStateJudgement # shrink :: ArbitraryLedgerStateJudgement -> [ArbitraryLedgerStateJudgement] #
Show ArbitraryLedgerStateJudgement Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> ArbitraryLedgerStateJudgement -> ShowS # show :: ArbitraryLedgerStateJudgement -> String # showList :: [ArbitraryLedgerStateJudgement] -> ShowS #

newtype ArbitrarySlotNo Source #

Constructors

ArbitrarySlotNo
Fields getArbitrarySlotNo :: SlotNo

Instances

Instances details

Arbitrary ArbitrarySlotNo Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbitrarySlotNo # shrink :: ArbitrarySlotNo -> [ArbitrarySlotNo] #
Show ArbitrarySlotNo Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> ArbitrarySlotNo -> ShowS # show :: ArbitrarySlotNo -> String # showList :: [ArbitrarySlotNo] -> ShowS #

data StakePool Source #

Constructors

StakePool
Fields spStake :: !Word64 spRelay :: NonEmpty RelayAccessPoint

Instances

Instances details

Arbitrary StakePool Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen StakePool # shrink :: StakePool -> [StakePool] #
Show StakePool Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> StakePool -> ShowS # show :: StakePool -> String # showList :: [StakePool] -> ShowS #

newtype LedgerPools Source #

Constructors

LedgerPools
Fields getLedgerPools :: [(PoolStake, NonEmpty RelayAccessPoint)]

Instances

Instances details

Arbitrary LedgerPools Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen LedgerPools # shrink :: LedgerPools -> [LedgerPools] #
Show LedgerPools Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> LedgerPools -> ShowS # show :: LedgerPools -> String # showList :: [LedgerPools] -> ShowS #

calculateRelativeStake :: [StakePool] -> [(PoolStake, NonEmpty RelayAccessPoint)] Source #

genLedgerPoolsFrom :: [RelayAccessPoint] -> Gen LedgerPools Source #

newtype ArbLedgerPeersKind Source #

Constructors

ArbLedgerPeersKind LedgerPeersKind

Instances

Instances details

Arbitrary ArbLedgerPeersKind Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbLedgerPeersKind # shrink :: ArbLedgerPeersKind -> [ArbLedgerPeersKind] #
Show ArbLedgerPeersKind Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> ArbLedgerPeersKind -> ShowS # show :: ArbLedgerPeersKind -> String # showList :: [ArbLedgerPeersKind] -> ShowS #

newtype ArbStakeMapOverSource Source #

Constructors

ArbStakeMapOverSource
Fields getArbStakeMapOverSource :: StakeMapOverSource

Instances

Instances details

Arbitrary ArbStakeMapOverSource Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbStakeMapOverSource # shrink :: ArbStakeMapOverSource -> [ArbStakeMapOverSource] #
Show ArbStakeMapOverSource Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> ArbStakeMapOverSource -> ShowS # show :: ArbStakeMapOverSource -> String # showList :: [ArbStakeMapOverSource] -> ShowS #

prop_ledgerPeerSnapshot_requests :: ArbStakeMapOverSource -> Property Source #

This test checks whether requesting ledger peers works as intended when snapshot data is available. For each request, peers must be returned from the right source - either the ledger or snapshot, depending on whether which source is fresher.

prop_pick100 Source #

Arguments

:: Word16
-> NonNegative Int	number of pools with 0 stake
-> ArbLedgerPeersKind
-> MockRoots
-> DelayAndTimeoutScripts
-> ArbitrarySlotNo
-> ArbitraryLedgerStateJudgement
-> Property

A pool with 100% stake should always be picked.

prop_pick :: LedgerPools -> ArbLedgerPeersKind -> Word16 -> Word16 -> MockRoots -> Script DNSLookupDelay -> ArbitrarySlotNo -> ArbitraryLedgerStateJudgement -> Property Source #

Verify that given at least one peer we manage to pick count peers.

prop_accumulateBigLedgerStake :: LedgerPools -> Property Source #

prop_recomputeRelativeStake :: LedgerPools -> Property Source #

This functions checks the following properties: 1. The accumulated relative stake adds up to unity 2. No pool relative stake can be less than 0 3. The relays aren't mangled 4. Running this function multiple times always produces the same result

prop_getLedgerPeers :: ArbitrarySlotNo -> ArbitraryLedgerStateJudgement -> LedgerPools -> ArbitrarySlotNo -> Property Source #

prop_ledgerPeerSnapshotCBORV1 :: ArbitrarySlotNo -> LedgerPools -> Property Source #

Checks validity of LedgerPeerSnapshot CBOR encoding, and whether round trip cycle is the identity function

prop_ledgerPeerSnapshotJSONV1 :: ArbitrarySlotNo -> LedgerPools -> Property Source #

Tests if LedgerPeerSnapshot JSON round trip is the identity function

snapshotV1 :: ArbitrarySlotNo -> LedgerPools -> LedgerPeerSnapshot Source #

helper functions for ledgerpeersnapshot encoding tests

data SimResult a Source #

Constructors

SimReturn a [String]
SimException SomeException [String]
SimDeadLock [String]

evaluateTrace :: SimTrace a -> IO (SimResult a) Source #

data WithThreadAndTime a Source #

Constructors

WithThreadAndTime
Fields wtatOccuredAt :: !Time wtatWithinThread :: !String wtatEvent :: !a

Instances

Instances details

Show a => Show (WithThreadAndTime a) Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> WithThreadAndTime a -> ShowS # show :: WithThreadAndTime a -> String # showList :: [WithThreadAndTime a] -> ShowS #

verboseTracer :: forall a (m :: Type -> Type). (MonadSay m, Show a) => Tracer m a Source #

threadAndTimeTracer :: forall a (m :: Type -> Type). (MonadAsync m, MonadMonotonicTime m) => Tracer m (WithThreadAndTime a) -> Tracer m a Source #