| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Ouroboros.Consensus.DiffusionPipelining
Synopsis
Documentation
prop_diffusionPipeliningSubsequenceConsistency Source #
Arguments
| ∷ BlockSupportsDiffusionPipelining blk | |
| ⇒ Proxy blk | |
| → [TentativeHeaderView blk] | Have to satisfy the pipelining criterion. |
| → Property |
See Consistent validity under subsequences in
BlockSupportsDiffusionPipelining.