module Main (main) where

import qualified Test.Consensus.Tracing.Dijkstra as Dijkstra
import qualified Test.Consensus.Tracing.Golden as Golden
import qualified Test.Consensus.Tracing.MetaTrace as MetaTrace
import Test.Tasty

main :: IO ()
IO ()
main = TestTree -> IO ()
defaultMain TestTree
tests

tests :: TestTree
tests :: TestTree
tests =
  TestName -> [TestTree] -> TestTree
testGroup
    TestName
"tracing"
    [ TestTree
MetaTrace.tests
    , TestTree
Golden.tests
    , TestTree
Dijkstra.tests
    ]