-module Tests.Misc
-where
-
-import Test.HUnit
-import Test.QuickCheck
-
-import Misc
-
-prop_factorial_greater :: Int -> Property
-prop_factorial_greater n =
- n <= 20 ==> factorial n >= n
-
-
-test_flatten1 :: Assertion
-test_flatten1 =
- assertEqual "flatten actually works" expected_list actual_list
- where
- target = [[[1::Int]], [[2, 3]]]
- expected_list = [1, 2, 3]
- actual_list = flatten target