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
.