ouroboros-consensus:unstable-consensus-testlib
Safe HaskellNone
LanguageHaskell2010

Test.Util.SanityCheck

Documentation

prop_sanityChecks ∷ BlockSupportsSanityCheck blk ⇒ TopLevelConfig blk → Property Source #

prop_securityParamConsistent ∷ BlockSupportsSanityCheck blk ⇒ TopLevelConfig blk → Property Source #