content: import Test.Tasty
  
  import Test.GitHUD.Config.Parse
  import Test.GitHUD.Git.Parse.Status
  import Test.GitHUD.Git.Parse.Branch
  import Test.GitHUD.Git.Common
  import Test.GitHUD.Git.Types
  import Test.GitHUD.Terminal.Base
  import Test.GitHUD.Terminal.Prompt
  
  main :: IO ()
  main = defaultMain tests
  
  tests :: TestTree
  tests = testGroup "Tests"
    [ statusTests
    , branchTests
    , gitTypesTests
    , gitCommonTests
    , terminalTests
    , terminalPromptTests
    , configParserTests
    ]
  --
  -- tests :: TestTree
  -- tests = testGroup "Tests" [properties, unitTests]
  --
  -- properties :: TestTree
  -- properties = testGroup "Properties" [scProps, qcProps]
  --
  -- scProps = testGroup "(checked by SmallCheck)"
  --   [ SC.testProperty "sort == sort . reverse" $
  --       \list -> sort (list :: [Int]) == sort (reverse list)
  --   , SC.testProperty "Fermat's little theorem" $
  --       \x -> ((x :: Integer)^7 - x) `mod` 7 == 0
  --   -- the following property does not hold
  --   , SC.testProperty "Fermat's last theorem" $
  --       \x y z n ->
  --         (n :: Integer) >= 3 SC.==> x^n + y^n /= (z^n :: Integer)
  --   ]
  --
  -- qcProps = testGroup "(checked by QuickCheck)"
  --   [ QC.testProperty "sort == sort . reverse" $
  --       \list -> sort (list :: [Int]) == sort (reverse list)
  --   , QC.testProperty "Fermat's little theorem" $
  --       \x -> ((x :: Integer)^7 - x) `mod` 7 == 0
  --   -- the following property does not hold
  --   , QC.testProperty "Fermat's last theorem" $
  --       \x y z n ->
  --         (n :: Integer) >= 3 QC.==> x^n + y^n /= (z^n :: Integer)
  --   ]
  --
  -- unitTests = testGroup "Unit tests"
  --   [ testCase "List comparison (different length)" $
  --       [1, 2, 3] `compare` [1,2] @?= GT
  --
  --   -- the following test does not hold
  --   , testCase "List comparison (same length)" $
  --       [1, 2, 3] `compare` [1,2,2] @?= LT
  --   ]
  