cardano-ledger-shelley-test-1.5.1.0: Test helpers from cardano-ledger-shelley exposed to other packages

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Rules.Pool

Synopsis

tests ∷ ∀ era. (EraGen era, ChainProperty era, HasTrace (CHAIN era) (GenEnv era)) ⇒ TestTree

Documentation

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

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