test/TestSuite.hs

   1 module Main (main)
   2 where
   3
   4 import Test.Tasty ( TestTree, defaultMain, localOption, testGroup )
   5 import Test.Tasty.QuickCheck ( QuickCheckTests(QuickCheckTests) )
   6
   7 import Cardinal ( cardinal_tests, cardinal_properties )
   8 import Cube ( cube_properties )
   9 import FunctionValues ( function_values_tests, function_values_properties )
  10 import Grid ( grid_properties, grid_tests, slow_tests )
  11 import Misc ( misc_tests, misc_properties )
  12 import Tetrahedron ( tetrahedron_tests, tetrahedron_properties )
  13
  14 main :: IO ()
  15 main = do
  16   defaultMain $ localOption (QuickCheckTests 500) tests
  17
  18
  19 tests :: TestTree
  20 tests =
  21   testGroup "All tests"
  22     [ cardinal_tests,
  23       function_values_tests,
  24       grid_tests,
  25       misc_tests,
  26       tetrahedron_tests,
  27       grid_properties,
  28       cube_properties,
  29       tetrahedron_properties,
  30       misc_properties,
  31       cardinal_properties,
  32       slow_tests ]