| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Testnet.Property.Checks
Synopsis
- prop_spos_in_ledger_state :: (MonadTest m, MonadCatch m, MonadIO m, HasCallStack) => FilePath -> CardanoTestnetOptions -> ExecConfig -> m ()
Documentation
prop_spos_in_ledger_state Source #
Arguments
| :: (MonadTest m, MonadCatch m, MonadIO m, HasCallStack) | |
| => FilePath | Stake pools query output filepath |
| -> CardanoTestnetOptions | |
| -> ExecConfig | |
| -> m () |
A sanity check that confirms that there are the expected number of SPOs in the ledger state