byron-test

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.ThreadNet.Byron

Contents

To support the DualByron tests

Synopsis

tests ∷ TestTree
data TestSetup = TestSetup {
- setupEBBs ∷ ProduceEBBs
- setupK ∷ SecurityParam
- setupTestConfig ∷ TestConfig
- setupNodeJoinPlan ∷ NodeJoinPlan
- setupNodeRestarts ∷ NodeRestarts
- setupSlotLength ∷ SlotLength
- setupVersion ∷ (NodeToNodeVersion, BlockNodeToNodeVersion ByronBlock)
}
byronPBftParams ∷ SecurityParam → NumCoreNodes → PBftParams
expectedCannotForge ∷ SecurityParam → NumCoreNodes → NodeRestarts → SlotNo → NodeId → WrapCannotForge ByronBlock → Bool
genTestSetup ∷ SecurityParam → NumCoreNodes → NumSlots → SlotLength → Gen TestSetup
noEBBs ∷ ProduceEBBs

Documentation

tests ∷ TestTree Source #

To support the DualByron tests

data TestSetup Source #

Constructors

TestSetup
Fields setupEBBs ∷ ProduceEBBs setupK ∷ SecurityParam setupTestConfig ∷ TestConfig setupNodeJoinPlan ∷ NodeJoinPlan setupNodeRestarts ∷ NodeRestarts setupSlotLength ∷ SlotLength setupVersion ∷ (NodeToNodeVersion, BlockNodeToNodeVersion ByronBlock)

Instances

Instances details

Arbitrary TestSetup Source #
Instance details Defined in Test.ThreadNet.Byron Methods arbitrary ∷ Gen TestSetup Source # shrink ∷ TestSetup → [TestSetup] Source #
Show TestSetup Source #
Instance details Defined in Test.ThreadNet.Byron Methods showsPrec ∷ Int → TestSetup → ShowS # show ∷ TestSetup → String # showList ∷ [TestSetup] → ShowS #

byronPBftParams ∷ SecurityParam → NumCoreNodes → PBftParams Source #

expectedCannotForge ∷ SecurityParam → NumCoreNodes → NodeRestarts → SlotNo → NodeId → WrapCannotForge ByronBlock → Bool Source #

genTestSetup ∷ SecurityParam → NumCoreNodes → NumSlots → SlotLength → Gen TestSetup Source #

An entrypoint used by Test.ThreadNet.DualByron

See the Arbitrary SetupDualByron instance.

noEBBs ∷ ProduceEBBs Source #

Exported alias for NoEBBs.