git.iko.soy/binary-bits
on master help sign in
Use test-framework to handles tests
856e4d3Lennart Kolmodin
BitsQC.hs+51−12
compare with master
unifiedsplit
@@ -7,33 +7,72 @@ import Data.Binary.Put ( runPut )
7import Bits
7import Bits
8
8
9import Data.Bits
9import Data.Bits
10+import Data.Monoid
10import Data.Word
11import Data.Word
11import Foreign.Storable
12import Foreign.Storable
12import System.Random
13import System.Random
14+import System
13
15
14import BitsGet
16import BitsGet
15import BitsPut
17import BitsPut
16
18
19+import Test.Framework.Options ( TestOptions'(..) )
20+import Test.Framework.Providers.QuickCheck2 ( testProperty )
21+import Test.Framework.Runners.Console ( defaultMainWithOpts )
22+import Test.Framework.Runners.Options ( RunnerOptions'(..) )
23+import Test.Framework ( Test, testGroup )
17import Test.QuickCheck
24import Test.QuickCheck
18
25
19main = do
26main = do
27+ args <- getArgs
28+ defaultMainWithOpts tests (setMaxTestCases (if null args then 1024 else read (head args)))
29+ where
30+ -- increase the number of test cases
31+ setMaxTestCases n =
32+ mempty
33+ { ropt_test_options = Just $
34+ mempty
35+ { topt_maximum_generated_tests = Just n
36+ }
37+ }
38+
39+tests :: [Test]
40+tests =
41+ [ testGroup "Internal test functions"
20− quickCheck prop_bitreq
42+ [ testProperty "prop_bitreq" prop_bitreq ]
43+
44+ , testGroup "Custom test cases"
21− quickCheck prop_composite_case
45+ [ testProperty "prop_composite_case" prop_composite_case ]
22−
46+
47+ , testGroup "prop_put_with_bitreq"
23− quickCheck (prop_putget_with_bitreq :: Word8 -> Property)
48+ [ testProperty "Word8" (prop_putget_with_bitreq :: Word8 -> Property)
24− quickCheck (prop_putget_with_bitreq :: Word16 -> Property)
49+ , testProperty "Word16" (prop_putget_with_bitreq :: Word16 -> Property)
25−
50+ , testProperty "Word32" (prop_putget_with_bitreq :: Word32 -> Property)
51+ -- , testProperty "Word64" (prop_putget_with_bitreq :: Word64 -> Property)
52+ ]
53+
54+ , testGroup "prop_putget_list_simple"
26− quickCheck (prop_putget_list_simple :: [Bool] -> Property)
55+ [ testProperty "Bool" (prop_putget_list_simple :: [Bool] -> Property)
27− quickCheck (prop_putget_list_simple :: [Word8] -> Property)
56+ , testProperty "Word8" (prop_putget_list_simple :: [Word8] -> Property)
28− quickCheck (prop_putget_list_simple :: [Word16] -> Property)
57+ , testProperty "Word16" (prop_putget_list_simple :: [Word16] -> Property)
29−
58+ , testProperty "Word32" (prop_putget_list_simple :: [Word32] -> Property)
59+ -- , testProperty "Word64" (prop_putget_list_simple :: [Word64] -> Property)
60+ ]
61+
62+ , testGroup "prop_putget_list_with_bitreq"
30− quickCheck (prop_putget_list_with_bitreq :: [Word8] -> Property)
63+ [ testProperty "Word8" (prop_putget_list_with_bitreq :: [Word8] -> Property)
31− quickCheck (prop_putget_list_with_bitreq :: [Word16] -> Property)
64+ , testProperty "Word16" (prop_putget_list_with_bitreq :: [Word16] -> Property)
65+ , testProperty "Word32" (prop_putget_list_with_bitreq :: [Word32] -> Property)
66+ -- , testProperty "Word64" (prop_putget_list_with_bitreq :: [Word64] -> Property)
67+ ]
68+ ]
32
69
70+{-
33 -- these tests use the R structure
71 -- these tests use the R structure
34 --
72 --
35 -- quickCheck prop_Word32_from_2_Word16
73 -- quickCheck prop_Word32_from_2_Word16
36 -- quickCheck prop_Word32_from_Word8_and_Word16
74 -- quickCheck prop_Word32_from_Word8_and_Word16
75+-}
37
76
38prop_putget_with_bitreq :: (BinaryBit a, Num a, Bits a, Ord a) => a -> Property
77prop_putget_with_bitreq :: (BinaryBit a, Num a, Bits a, Ord a) => a -> Property
39prop_putget_with_bitreq w = property $
78prop_putget_with_bitreq w = property $
binary-bits.cabal+5−3
@@ -30,6 +30,8 @@ test-suite qc
30 type: exitcode-stdio-1.0
30 type: exitcode-stdio-1.0
31 main-is: BitsQC.hs
31 main-is: BitsQC.hs
32
32
33− build-depends: binary-bits,
33+ build-depends: binary-bits, binary,
34− base==4.*, binary, bytestring,
34+ base==4.*, haskell98, bytestring,
35− QuickCheck>=2, random
35+ QuickCheck>=2, random,
36+ test-framework,
37+ test-framework-quickcheck2