where
import qualified Data.Vector as V ( Vector, elem, empty, filter )
-import Test.Framework ( Test, testGroup )
-import Test.Framework.Providers.HUnit ( testCase )
-import Test.Framework.Providers.QuickCheck2 ( testProperty )
-import Test.HUnit ( Assertion, assertEqual )
-import Test.QuickCheck ( Property, (==>) )
+import Test.Tasty ( TestTree, testGroup )
+import Test.Tasty.HUnit ( Assertion, assertEqual, testCase )
+import Test.Tasty.QuickCheck ( Property, (==>), testProperty )
-- | The standard factorial function. See
actual_list = flatten target
-misc_tests :: Test.Framework.Test
+misc_tests :: TestTree
misc_tests =
- testGroup "Misc Tests" [
+ testGroup "Misc tests" [
testCase "flatten (1)" test_flatten1 ]
-misc_properties :: Test.Framework.Test
+misc_properties :: TestTree
misc_properties =
- testGroup "Misc Properties" [
+ testGroup "Misc properties" [
testProperty "factorial greater" prop_factorial_greater ]