Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Rules.Deleg
Synopsis
- tests ∷ ∀ era. (EraGen era, EraStake era, ShelleyEraAccounts era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era)) ⇒ TestTree
Documentation
tests ∷ ∀ era. (EraGen era, EraStake era, ShelleyEraAccounts 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)