cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.Deleg

Description

Specs necessary to generate, environment, state, and signal for the DELEG rule

Synopsis

Documentation

someZeros ∷ ∀ fn. IsConwayUniv fn ⇒ Specification fn RDPair Source #

Specify that some of the rewards in the RDPair's are zero. without this in the DState, it is hard to generate the ConwayUnRegCert certificate, since it requires a rewards balance of 0.