Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.ThreadNet.DualByron
Contents
Description
This runs the Byron ledger and the Byron specification in lockstep, verifying that they agree at every point.
Documentation
Orphan instances
TxGen DualByronBlock Source # | |||||
Associated Types
Methods testGenTxs ∷ CoreNodeId → NumCoreNodes → SlotNo → TopLevelConfig DualByronBlock → TxGenExtra DualByronBlock → LedgerState DualByronBlock ValuesMK → Gen [GenTx DualByronBlock] Source # |