| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Rules.Pool
Synopsis
- tests ∷ (EraGen era, EraStake era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era), EraRule "POOL" era ~ ShelleyPOOL era, InjectRuleFailure "POOL" ShelleyPoolPredFailure era, InjectRuleEvent "POOL" PoolEvent era) ⇒ TestTree
Documentation
tests ∷ (EraGen era, EraStake era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era), EraRule "POOL" era ~ ShelleyPOOL era, InjectRuleFailure "POOL" ShelleyPoolPredFailure era, InjectRuleEvent "POOL" PoolEvent era) ⇒ TestTree Source #
Various properties of the POOL STS Rule, tested on longer traces (double the default length)