src/Tests/Misc.hs

   1 module Tests.Misc
   2 where
   3
   4 import Test.HUnit
   5 import Test.QuickCheck
   6
   7 import Misc
   8
   9 prop_factorial_greater :: Int -> Property
  10 prop_factorial_greater n =
  11     n <= 20 ==> factorial n >= n
  12
  13
  14 test_flatten1 :: Test
  15 test_flatten1 =
  16     TestCase $ assertEqual "flatten actually works" expected_list actual_list
  17     where
  18       target = [[[1::Int]], [[2, 3]]]
  19       expected_list = [1, 2, 3]
  20       actual_list = flatten target
  21
  22 misc_tests :: [Test]
  23 misc_tests = [ test_flatten1 ]