byron-test

Safe Haskell	None
Language	Haskell2010

Test.ThreadNet.DualByron

Contents

Orphan instances

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

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result