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