CarneadesDSL-2.0.0.0: test/Main.hs

module Main (main) where

import Test.Tasty

import qualified Test.Language.Carneades.CarneadesDSL
import qualified Test.Language.Carneades.Input

main :: IO ()
main = defaultMain $ testGroup "CarneadesDSL"
  [ Test.Language.Carneades.CarneadesDSL.tests
  , Test.Language.Carneades.Input.tests
  ]