module Test.Ouroboros.Consensus.ChainGenerator.Tests (tests) where

import qualified Test.Ouroboros.Consensus.ChainGenerator.Tests.Adversarial as A
import qualified Test.Ouroboros.Consensus.ChainGenerator.Tests.BitVector as BV
import qualified Test.Ouroboros.Consensus.ChainGenerator.Tests.Counting as C
import qualified Test.Ouroboros.Consensus.ChainGenerator.Tests.Honest as H
import qualified Test.Tasty as TT

-----

tests :: TT.TestTree
tests :: TestTree
tests = TestName -> [TestTree] -> TestTree
TT.testGroup TestName
"ChainGenerator" ([TestTree] -> TestTree) -> [TestTree] -> TestTree
forall a b. (a -> b) -> a -> b
$ []
    [TestTree] -> [TestTree] -> [TestTree]
forall a. Semigroup a => a -> a -> a
<> [TestTree]
A.tests
    [TestTree] -> [TestTree] -> [TestTree]
forall a. Semigroup a => a -> a -> a
<> [TestTree]
BV.tests
    [TestTree] -> [TestTree] -> [TestTree]
forall a. Semigroup a => a -> a -> a
<> [TestTree]
C.tests
    [TestTree] -> [TestTree] -> [TestTree]
forall a. Semigroup a => a -> a -> a
<> [TestTree]
H.tests