module Main (main) where

import qualified Test.Consensus.Byron.Golden (tests)
import qualified Test.Consensus.Byron.Serialisation (tests)
import           Test.Tasty
import qualified Test.ThreadNet.Byron (tests)
import qualified Test.ThreadNet.DualByron (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
"byron"
  [ TestTree
Test.Consensus.Byron.Golden.tests
  , TestTree
Test.Consensus.Byron.Serialisation.tests
  , TestTree
Test.ThreadNet.Byron.tests
  , TestTree
Test.ThreadNet.DualByron.tests
  ]