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

Test.Util.SanityCheck

Documentation

prop_sanityChecks ∷ BlockSupportsSanityCheck blk ⇒ TopLevelConfig blk → Property Source #

prop_securityParamConsistent ∷ BlockSupportsSanityCheck blk ⇒ TopLevelConfig blk → Property Source #