byron-test
Safe HaskellNone
LanguageHaskell2010

Test.ThreadNet.Byron

Synopsis

Documentation

tests ∷ TestTree Source #

To support the DualByron tests

data TestSetup Source #

Constructors

TestSetup 

Fields

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.