module Main (main) where
import qualified CallIdTest
import qualified CatchAllTest
import qualified CommandTest
import qualified CornerCaseTests
import qualified FreshTest
import qualified LimitedMessageBoxTest
import qualified MessageBoxClassTest
import qualified ProtocolsTest
import System.Environment (setEnv)
import Test.Tasty
( TestTree,
defaultIngredients,
defaultMainWithIngredients,
testGroup,
)
import Test.Tasty.Runners.Html (htmlRunner)
import qualified UnlimitedMessageBoxTest
main :: IO ()
main =
do
setEnv "TASTY_NUM_THREADS" "1"
defaultMainWithIngredients (htmlRunner : defaultIngredients) test
test :: TestTree
test =
testGroup
"Tests"
[ CallIdTest.test,
CatchAllTest.test,
CornerCaseTests.test,
CommandTest.test,
MessageBoxClassTest.test,
LimitedMessageBoxTest.test,
UnlimitedMessageBoxTest.test,
ProtocolsTest.test,
FreshTest.test
]