clash-protocols-0.1: tests/unittests.hs

module Main where

import Control.Concurrent (setNumCapabilities)
import System.Environment (lookupEnv, setEnv)
import Test.Tasty
import Text.Read (readMaybe)
import Prelude

import Tests.Haxioms qualified
import Tests.Protocols qualified

main :: IO ()
main = do
  -- Hedgehog already tets in parallel
  setEnv "TASTY_NUM_THREADS" "2"

  -- Detect "THREADS" environment variable on CI
  nThreads <- (readMaybe =<<) <$> lookupEnv "THREADS"
  case nThreads of
    Nothing -> pure ()
    Just n -> do
      setNumCapabilities n

  defaultMain tests

tests :: TestTree
tests =
  testGroup
    "Tests"
    [ Tests.Haxioms.tests
    , Tests.Protocols.tests
    ]