Safe Haskell	None
Language	Haskell2010

Test.Consensus.PeerSimulator.Tests.LinkedThreads

Description

The scheduled ChainSync and BlockFetch servers are supposed to be linked, such that if one gets disconnected, then so does the other. This module contains a collection of smoke tests to make sure of that.

Documentation

data TestKey Source #

Instances

Instances details

Generic TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.LinkedThreads

Associated Types

type Rep TestKey
Instance details Defined in Test.Consensus.PeerSimulator.Tests.LinkedThreads type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.PeerSimulator.Tests.LinkedThreads" "ouroboros-consensus-3.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "ChainSyncKillsBlockFetch" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ TestKey → Rep TestKey x #

to ∷ Rep TestKey x → TestKey #

Eq TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.LinkedThreads

Methods

(==) ∷ TestKey → TestKey → Bool #

(/=) ∷ TestKey → TestKey → Bool #

Ord TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.LinkedThreads

Methods

compare ∷ TestKey → TestKey → Ordering #

(<) ∷ TestKey → TestKey → Bool #

(<=) ∷ TestKey → TestKey → Bool #

(>) ∷ TestKey → TestKey → Bool #

(>=) ∷ TestKey → TestKey → Bool #

max ∷ TestKey → TestKey → TestKey #

min ∷ TestKey → TestKey → TestKey #

SmallKey TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.LinkedThreads

Methods

allKeys ∷ [TestKey]

type Rep TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.LinkedThreads

type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.PeerSimulator.Tests.LinkedThreads" "ouroboros-consensus-3.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "ChainSyncKillsBlockFetch" 'PrefixI 'False) (U1 ∷ Type → Type))

testSuite ∷ (IssueTestBlock blk, HasHeader blk, Eq blk) ⇒ TestSuite blk TestKey Source #