1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
|
{-# LANGUAGE CPP #-}
module Main (main) where
import Test.Tasty (defaultMain, testGroup, TestTree)
import qualified Prop.Quaternion
import qualified Unit.Binary
import qualified Unit.Plucker
import qualified Unit.V
tests :: [TestTree]
tests =
[ testGroup "Property tests"
[ testGroup "Quaternion" Prop.Quaternion.tests
]
, testGroup "Unit tests"
[ testGroup "Binary" Unit.Binary.tests
, testGroup "Plucker" Unit.Plucker.tests
, testGroup "V" Unit.V.tests
]
]
main :: IO ()
main = defaultMain $ testGroup "linear" tests
|