module Test.Util.ChainUpdates.Tests (tests) where

import           Ouroboros.Consensus.Config
import           Test.Tasty
import           Test.Tasty.QuickCheck
import           Test.Util.ChainUpdates

tests :: TestTree
tests :: TestTree
tests = TestName -> [TestTree] -> TestTree
testGroup TestName
"Test.Util.ChainUpdates"
    [ TestName -> Property -> TestTree
forall a. Testable a => TestName -> a -> TestTree
testProperty TestName
"genChainUpdates" (Property -> TestTree) -> Property -> TestTree
forall a b. (a -> b) -> a -> b
$ SecurityParam -> Int -> Property
prop_genChainUpdates SecurityParam
k Int
updatesToGenerate
    ]
  where
    k :: SecurityParam
k = Word64 -> SecurityParam
SecurityParam Word64
3
    updatesToGenerate :: Int
updatesToGenerate = Int
100