module Main (main) where

import qualified Test.Consensus.Ledger.Mock (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.ThreadNet.BFT.tests
  , TestTree
Test.ThreadNet.LeaderSchedule.tests
  , TestTree
Test.ThreadNet.PBFT.tests
  , TestTree
Test.ThreadNet.Praos.tests
  ]

-- Counter to address the zfs copy bug on Hydra
-- ```
-- cannot execute binary file: Exec format error
-- ```
--
-- 3