cardano-ledger-byron-test-1.5.2.0: Test helpers from cardano-ledger exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Chain.Byron.API

Synopsis

Documentation

genApplyMempoolPayloadErr ∷ ProtocolMagicId → Gen ApplyMempoolPayloadErr Source #

ts_mempoolValidation ∷ TSProperty Source #

A transaction should validate in the mempool at a given slot when it validates in a block issued for that same slot.

ts_roundTripApplyMempoolPayloadErrCompat ∷ TSProperty Source #

ts_scheduledDelegations ∷ TSProperty Source #

getDelegationMap . applyChainTick slot == previewDelegationMap slot

tests ∷ TSGroup Source #