module Main (main) where

import qualified Test.Consensus.Shelley.Coherence (tests)
import qualified Test.Consensus.Shelley.Golden (tests)
import qualified Test.Consensus.Shelley.LedgerTables (tests)
import qualified Test.Consensus.Shelley.Serialisation (tests)
import qualified Test.Consensus.Shelley.SupportedNetworkProtocolVersion (tests)
import Test.Tasty
import qualified Test.ThreadNet.Shelley (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
"shelley"
    [ TestTree
Test.Consensus.Shelley.Coherence.tests
    , TestTree
Test.Consensus.Shelley.Golden.tests
    , TestTree
Test.Consensus.Shelley.LedgerTables.tests
    , TestTree
Test.Consensus.Shelley.Serialisation.tests
    , TestTree
Test.Consensus.Shelley.SupportedNetworkProtocolVersion.tests
    , TestTree
Test.ThreadNet.Shelley.tests
    ]