| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Consensus.Committee.WFALS.Conformance
Synopsis
- conformsToRustImplementation ∷ (Map PoolId Stake → CommitteeSize → (NumPersistent, NumNonPersistent)) → Property
Documentation
conformsToRustImplementation ∷ (Map PoolId Stake → CommitteeSize → (NumPersistent, NumNonPersistent)) → Property Source #
Check that a weighted fait accompli committee selection implementation conforms to the Rust implementation by comparing the number persistent and non-persistent committee members it selects for a given target committee size.