-module Main
+module Main (main)
where
import Test.Tasty ( TestTree, defaultMain, localOption, testGroup )
-import Test.Tasty.QuickCheck ( QuickCheckTests(..) )
+import Test.Tasty.QuickCheck ( QuickCheckTests(QuickCheckTests) )
import Cardinal ( cardinal_tests, cardinal_properties )
import Cube ( cube_properties )
grid_tests,
misc_tests,
tetrahedron_tests,
+ function_values_properties,
grid_properties,
cube_properties,
tetrahedron_properties,