Safe Haskell	None
Language	Haskell2010

Test.Consensus.Genesis.Tests.Uniform

Description

Peer simulator tests based on randomly generated schedules. They share the same property stating that the immutable tip should be on the trunk of the block tree with the right age (roughly k blocks from the tip). Contrary to other tests cases (eg. long range attack), the schedules are not particularly biased towards a specific situation.

Synopsis

data TestKey
genUniformSchedulePoints ∷ HasHeader blk ⇒ GenesisTest blk () → Gen (PointSchedule blk)
testSuite ∷ (HasHeader blk, GetHeader blk, IssueTestBlock blk, Ord blk) ⇒ TestSuite blk TestKey

Documentation

data TestKey Source #

Each value of this type uniquely corresponds to a test defined in this module.

Instances

Instances details

Generic TestKey Source #

Instance details

Defined in Test.Consensus.Genesis.Tests.Uniform

Associated Types

type Rep TestKey

Instance details

Defined in Test.Consensus.Genesis.Tests.Uniform

type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.Genesis.Tests.Uniform" "ouroboros-consensus-3.0.0.0-inplace-consensus-diffusion-test" 'False) ((C1 ('MetaCons "BlockFetchLeashingAttack" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Downtime" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LeashingAttackStalling" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "LeashingAttackTimeLimited" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LOEStalling" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ServeAdversarialBranches" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ TestKey → Rep TestKey x #

to ∷ Rep TestKey x → TestKey #

Show TestKey Source #

Instance details

Defined in Test.Consensus.Genesis.Tests.Uniform

Methods

showsPrec ∷ Int → TestKey → ShowS #

show ∷ TestKey → String #

showList ∷ [TestKey] → ShowS #

Eq TestKey Source #

Instance details

Defined in Test.Consensus.Genesis.Tests.Uniform

Methods

(==) ∷ TestKey → TestKey → Bool #

(/=) ∷ TestKey → TestKey → Bool #

Ord TestKey Source #

Instance details

Defined in Test.Consensus.Genesis.Tests.Uniform

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.Genesis.Tests.Uniform

Methods

allKeys ∷ [TestKey]

type Rep TestKey Source #

Instance details

Defined in Test.Consensus.Genesis.Tests.Uniform

type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.Genesis.Tests.Uniform" "ouroboros-consensus-3.0.0.0-inplace-consensus-diffusion-test" 'False) ((C1 ('MetaCons "BlockFetchLeashingAttack" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Downtime" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LeashingAttackStalling" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "LeashingAttackTimeLimited" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LOEStalling" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ServeAdversarialBranches" 'PrefixI 'False) (U1 ∷ Type → Type))))

genUniformSchedulePoints ∷ HasHeader blk ⇒ GenesisTest blk () → Gen (PointSchedule blk) Source #

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