| 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 # | |||||