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