import qualified Examples.Ex1                 as Ex1
import           Test.HUnit
import           Test.Tasty
import qualified Test.Tasty.HUnit             as Hu
import           Test.Tasty.Ingredients.Basic (consoleTestReporter,
                                               listingTests)
import           Test.Tasty.Runners.AntXML    (antXMLRunner)

main :: IO ()
main =
  defaultMainWithIngredients
  [ antXMLRunner
  , listingTests
  , consoleTestReporter
  ] tests

tests :: TestTree
tests =
  testGroup "Server Tests"
  [ systemTests
  , Ex1.tests
  ]

systemTests :: TestTree
systemTests = testGroup "System Tests"
  [ Hu.testCase "Trivial tests" trivial
  ] where

trivial :: Assertion
trivial = assertBool "True is False" True