test/Main.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE ImportQualifiedPost #-}
module Main where

import Test.Tasty

import Tests.C qualified
import Tests.Permutation qualified


main :: IO ()
main = defaultMain $
  testGroup "Tests"
    [Tests.C.tests
    ,Tests.Permutation.tests
    ]