Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Consensus.Genesis.Setup.Classifiers

Synopsis

Documentation

Interesting categories to classify test inputs

Constructors

Fields

existsSelectableAdversary ∷ Bool
There are more than k blocks in at least one alternative chain after the intersection
allAdversariesSelectable ∷ Bool
There are more than k blocks in all alternative chains after the intersection. Note that this is always guaranteed for the honest chain.
allAdversariesForecastable ∷ Bool
There is always at least one block per sliding forecast window in all alternative chains. Note that this is always guaranteed for the honest chain.
allAdversariesKPlus1InForecast ∷ Bool
All adversaries have at least k+1 block in the forecast window the follows their intersection with the trunk. Note that the generator always enforces that the trunk wins in all _Genesis_ windows after the intersection. In particular, if sgen = sfor, then the trunk will have at least k+2.
genesisWindowAfterIntersection ∷ Bool
There are at least scg slots after the intersection on both the honest and the alternative chain
Knowing if there is a Genesis window after the intersection is important because otherwise the Genesis node has no chance to advance the immutable tip past the Limit on Eagerness.
longerThanGenesisWindow ∷ Bool
The honest chain's slot count is greater than or equal to the Genesis window size.

Interesting categories to classify test results

Constructors

Fields

adversariesKilledByLoP ∷ Double
Percentage of adversaries that were killed by receiving an EmptyBucket exception from the LoP
adversariesKilledByGDD ∷ Double
Percentage of adversaries that were disconnected because their fragment was not dense enough
adversariesKilledByTimeout ∷ Double
Percentage of adversaries that were disconnected by network-level timeouts
adversariesSurvived ∷ Double
Percentage of adversaries that weren't killed

Constructors

ScheduleClassifiers
Fields adversaryRollback ∷ Bool There is an adversary that did a rollback honestRollback ∷ Bool The honest peer did a rollback allAdversariesEmpty ∷ Bool All adversaries have an empty schedule: the only way to disconnect them are network timeouts. allAdversariesTrivial ∷ Bool All adversaries have trivial schedules: they only have an initial state, and do nothing afterwards.