module Main
( main
) where
import qualified Catch
import qualified Choose
import qualified Cull
import qualified Cut
import qualified Cut.Church
import qualified Empty
import qualified Error
import qualified Fail
import qualified Fresh
import qualified Fusion
import qualified Lift
import qualified NonDet
import qualified NonDet.Church
import qualified Reader
import qualified State
import Test.Tasty
import qualified Throw
import qualified Writer
main :: IO ()
main = defaultMain $ testGroup "unit tests"
[ Catch.tests
, Choose.tests
, Cull.tests
, Cut.tests
, Cut.Church.tests
, Empty.tests
, Error.tests
, Fail.tests
, Fresh.tests
, Fusion.tests
, Lift.tests
, NonDet.tests
, NonDet.Church.tests
, Reader.tests
, State.tests
, Throw.tests
, Writer.tests
]