value
tests :: (EraGen era, EraStake era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era), EraRule "POOL"
era ~ POOL era, InjectRuleFailure "POOL"
ShelleyPoolPredFailure era, InjectRuleEvent "POOL"
PoolEvent era) => TestTreeVarious properties of the POOL STS Rule, tested on longer traces (double the default length)