module Main (main) where

import qualified Test.Consensus.Protocol.Praos.SelectView
import           Test.Tasty
import           Test.Util.TestEnv

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

tests :: TestTree
tests :: TestTree
tests =
    TestName -> [TestTree] -> TestTree
testGroup TestName
"protocol"
      [ TestTree
Test.Consensus.Protocol.Praos.SelectView.tests
      ]