ouroboros-consensus-0.22.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Util.SanityCheck

Documentation

prop_sanityChecks ∷ BlockSupportsSanityCheck blk ⇒ TopLevelConfig blk → Property Source #

prop_securityParamConsistent ∷ BlockSupportsSanityCheck blk ⇒ TopLevelConfig blk → Property Source #