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

Test.Cardano.Ledger.Shelley.Rules.Pool

Synopsis

Documentation

tests ∷ ∀ era. (EraGen era, EraStake era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era)) ⇒ TestTree Source #

Various properties of the POOL STS Rule, tested on longer traces (double the default length)