value
tests :: (EraGen era, EraStake era, ShelleyEraAccounts era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era)) => TestTreeVarious properties of the DELEG STS Rule, tested on longer traces (double the default length)