ouroboros-consensus-0.26.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

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.