ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Test.ThreadNet.DualByron

Description

This runs the Byron ledger and the Byron specification in lockstep, verifying that they agree at every point.

Documentation

tests ∷ TestTree Source #

Orphan instances

TxGen DualByronBlock Source # 
Instance details

Associated Types

type TxGenExtra DualByronBlock 
Instance details

Defined in Test.ThreadNet.DualByron

type TxGenExtra DualByronBlock = ()

Methods

testGenTxs ∷ CoreNodeId → NumCoreNodes → SlotNo → TopLevelConfig DualByronBlock → TxGenExtra DualByronBlock → LedgerState DualByronBlock ValuesMK → Gen [GenTx DualByronBlock]