| Safe Haskell | Safe-Inferred |
|---|---|
| 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 type TxGenExtra DualByronBlock Source # Methods testGenTxs ∷ CoreNodeId → NumCoreNodes → SlotNo → TopLevelConfig DualByronBlock → TxGenExtra DualByronBlock → LedgerState DualByronBlock → Gen [GenTx DualByronBlock] Source # | |