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
  ]