module Main (main) where

import qualified Test.Consensus.Ledger.Mock (tests)
import qualified Test.Consensus.Ledger.Mock.LedgerTables (tests)
import Test.Tasty
import qualified Test.ThreadNet.BFT (tests)
import qualified Test.ThreadNet.LeaderSchedule (tests)
import qualified Test.ThreadNet.PBFT (tests)
import qualified Test.ThreadNet.Praos (tests)
import Test.Util.TestEnv
  ( defaultMainWithTestEnv
  , defaultTestEnvConfig
  )

main :: IO ()
IO ()
main = TestEnvConfig -> TestTree -> IO ()
defaultMainWithTestEnv TestEnvConfig
defaultTestEnvConfig TestTree
tests

tests :: TestTree
tests :: TestTree
tests =
  TestName -> [TestTree] -> TestTree
testGroup
    TestName
"ouroboros-consensus"
    [ TestTree
Test.Consensus.Ledger.Mock.tests
    , TestTree
Test.Consensus.Ledger.Mock.LedgerTables.tests
    , TestTree
Test.ThreadNet.BFT.tests
    , TestTree
Test.ThreadNet.LeaderSchedule.tests
    , TestTree
Test.ThreadNet.PBFT.tests
    , TestTree
Test.ThreadNet.Praos.tests
    ]