Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Consensus.Genesis.Setup

Synopsis

module Test.Consensus.Genesis.Setup.GenChains
forAllGenesisTest ∷ Testable prop ⇒ Gen (GenesisTestFull TestBlock) → SchedulerConfig → (GenesisTestFull TestBlock → StateView TestBlock → [GenesisTestFull TestBlock]) → (GenesisTestFull TestBlock → StateView TestBlock → prop) → Property
runGenesisTest ∷ SchedulerConfig → GenesisTestFull TestBlock → RunGenesisTestResult
runGenesisTest' ∷ Testable prop ⇒ SchedulerConfig → GenesisTestFull TestBlock → (StateView TestBlock → prop) → Property

Documentation

module Test.Consensus.Genesis.Setup.GenChains

forAllGenesisTest ∷ Testable prop ⇒ Gen (GenesisTestFull TestBlock) → SchedulerConfig → (GenesisTestFull TestBlock → StateView TestBlock → [GenesisTestFull TestBlock]) → (GenesisTestFull TestBlock → StateView TestBlock → prop) → Property Source #

All-in-one helper that generates a GenesisTest and a 'Peers PeerSchedule', runs them with runGenesisTest, check whether the given property holds on the resulting StateView.

runGenesisTest ∷ SchedulerConfig → GenesisTestFull TestBlock → RunGenesisTestResult Source #

Runs the given GenesisTest and PointSchedule and evaluates the given property on the final StateView.

runGenesisTest' ∷ Testable prop ⇒ SchedulerConfig → GenesisTestFull TestBlock → (StateView TestBlock → prop) → Property Source #

Variant of runGenesisTest that also takes a property on the final StateView and returns a QuickCheck property. The trace is printed in case of counter-example.