module Main where

import qualified Tests
import qualified Test.Tasty as T

main :: IO ()
main = do
  putStrLn "=== No-Main Feature Test ==="
  putStrLn "This test demonstrates the --no-main option"
  putStrLn "where Tests module has no main function.\n"

  -- Get the discovered tests from the Tests module
  discoveredTests <- Tests.tests

  -- Apply a custom wrapper to demonstrate custom main functionality
  let wrappedTests = T.testGroup "Custom No-Main Wrapper" [discoveredTests]

  -- Run tests using ingredients from Tests module
  T.defaultMainWithIngredients Tests.ingredients wrappedTests