4 import Test.Tasty ( TestTree, defaultMain, localOption, testGroup )
5 import Test.Tasty.QuickCheck ( QuickCheckTests(QuickCheckTests) )
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 )
16 defaultMain $ localOption (QuickCheckTests 500) tests
23 function_values_tests,
27 function_values_properties,
30 tetrahedron_properties,