where
import Prelude hiding ( LT )
-import Test.HUnit ( Assertion )
-import Test.Framework ( Test, testGroup )
-import Test.Framework.Providers.HUnit ( testCase )
-import Test.Framework.Providers.QuickCheck2 ( testProperty )
-import Test.QuickCheck ( Arbitrary(..), choose )
+import Test.Tasty ( TestTree, testGroup )
+import Test.Tasty.HUnit ( Assertion, testCase )
+import Test.Tasty.QuickCheck ( Arbitrary( arbitrary ), choose, testProperty )
import Assertions ( assertTrue )
import Cardinal ( Cardinal(..), cwx, cwy, cwz )
back_right_top fvs == 15]
-function_values_tests :: Test.Framework.Test
+function_values_tests :: TestTree
function_values_tests =
- testGroup "FunctionValues Tests"
+ testGroup "FunctionValues tests"
[ testCase "test directions" test_directions ]
expr2 = top fv1
-function_values_properties :: Test.Framework.Test
+function_values_properties :: TestTree
function_values_properties =
- let tp = testProperty
- in
- testGroup "FunctionValues Properties" [
- tp "x rotation doesn't affect front" prop_x_rotation_doesnt_affect_front,
- tp "x rotation doesn't affect back" prop_x_rotation_doesnt_affect_back,
- tp "y rotation doesn't affect left" prop_y_rotation_doesnt_affect_left,
- tp "y rotation doesn't affect right" prop_y_rotation_doesnt_affect_right,
- tp "z rotation doesn't affect top" prop_z_rotation_doesnt_affect_top,
- tp "z rotation doesn't affect down" prop_z_rotation_doesnt_affect_down ]
+ testGroup "FunctionValues properties" [
+ testProperty
+ "x rotation doesn't affect front"
+ prop_x_rotation_doesnt_affect_front,
+ testProperty
+ "x rotation doesn't affect back"
+ prop_x_rotation_doesnt_affect_back,
+ testProperty
+ "y rotation doesn't affect left"
+ prop_y_rotation_doesnt_affect_left,
+ testProperty
+ "y rotation doesn't affect right"
+ prop_y_rotation_doesnt_affect_right,
+ testProperty
+ "z rotation doesn't affect top"
+ prop_z_rotation_doesnt_affect_top,
+ testProperty
+ "z rotation doesn't affect down"
+ prop_z_rotation_doesnt_affect_down ]