git.iko.soy/text
on master help sign in
Improve overall test coverage from 75% to 78%.

--HG-- extra : convert_revision : da9e3a42550be85a2364cd2e1f9a50776726eedf

commiteab0a1dc2f8ff2dbc26b7a4df640797308b32a77 authorBryan O'Sullivan <bos@serpentine.com> dateFri 14 Aug 2009, 22:54 (17 years ago) parentf1cb375
2 files changed+33−1
compare with master
unifiedsplit
tests/Makefile+1 tests/Properties.hs+32−1
tests/Makefile+1
@@ -22,6 +22,7 @@ qc: $(lib) QuickCheckUtils.o Properties.o
2222
2323qc-hpc: Properties.hs QuickCheckUtils.hs $(lib-srcs:%=../%)
2424 -mkdir -p hpcdir
25+ @rm -f $@.tix
2526 $(ghc) $(ghc-hpc-flags) -ihpcdir --make -o $@ $<
2627
2728coverage: qc-hpc-html/hpc_index.html
tests/Properties.hs+32−1
@@ -5,6 +5,7 @@ import Test.QuickCheck
55import Text.Show.Functions
66
77import Data.Char
8+import Data.Monoid
89import Debug.Trace
910import Text.Printf
1011import System.Environment
@@ -127,9 +128,24 @@ eqEP a b e w = a s == b t &&
127128 n = fromIntegral w
128129 s = notEmpty e
129130
131+prop_S_Eq s = (s==) `eq` ((S.stream s==) . S.stream)
132+prop_T_Eq s = (s==) `eq` ((T.pack s==) . T.pack)
133+prop_TL_Eq s = (s==) `eq` ((TL.pack s==) . TL.pack)
134+prop_S_Ord s = (compare s) `eq` (compare (S.stream s) . S.stream)
135+prop_T_Ord s = (compare s) `eq` (compare (T.pack s) . T.pack)
136+prop_TL_Ord s = (compare s) `eq` (compare (TL.pack s) . TL.pack)
137+prop_T_Read = id `eq` (T.unpack . read . show)
138+prop_TL_Read = id `eq` (TL.unpack . read . show)
139+prop_T_Show = show `eq` (show . T.pack)
140+prop_TL_Show = show `eq` (show . TL.pack)
141+prop_T_mappend s = mappend s`eqP` (unpackS . mappend (T.pack s))
142+prop_TL_mappend s = mappend s`eqP` (unpackS . mappend (TL.pack s))
143+prop_T_mconcat = mconcat `eq` (unpackS . mconcat . L.map T.pack)
144+prop_TL_mconcat = mconcat `eq` (unpackS . mconcat . L.map TL.pack)
145+
130146prop_S_cons x = (x:) `eqP` (unpackS . S.cons x)
131147prop_T_cons x = (x:) `eqP` (unpackS . T.cons x)
132−prop_TL_cons x = ((x:) `eqP` (TL.unpack . TL.cons x))
148+prop_TL_cons x = (x:) `eqP` (unpackS . TL.cons x)
133149prop_S_snoc x = (++ [x]) `eqP` (unpackS . (flip S.snoc) x)
134150prop_T_snoc x = (++ [x]) `eqP` (unpackS . (flip T.snoc) x)
135151prop_TL_snoc x = (++ [x]) `eqP` (unpackS . (flip TL.snoc) x)
@@ -440,6 +456,21 @@ tests = [
440456 ("prop_T_utf32LE", mytest prop_T_utf32LE),
441457 ("prop_T_utf32BE", mytest prop_T_utf32BE),
442458
459+ ("prop_S_Eq", mytest prop_S_Eq),
460+ ("prop_T_Eq", mytest prop_T_Eq),
461+ ("prop_TL_Eq", mytest prop_TL_Eq),
462+ ("prop_S_Ord", mytest prop_S_Ord),
463+ ("prop_T_Ord", mytest prop_T_Ord),
464+ ("prop_TL_Ord", mytest prop_TL_Ord),
465+ ("prop_T_Read", mytest prop_T_Read),
466+ ("prop_TL_Read", mytest prop_TL_Read),
467+ ("prop_T_Show", mytest prop_T_Show),
468+ ("prop_TL_Show", mytest prop_TL_Show),
469+ ("prop_T_mappend", mytest prop_T_mappend),
470+ ("prop_TL_mappend", mytest prop_TL_mappend),
471+ ("prop_T_mconcat", mytest prop_T_mconcat),
472+ ("prop_TL_mconcat", mytest prop_TL_mconcat),
473+
443474 ("prop_S_cons", mytest prop_S_cons),
444475 ("prop_T_cons", mytest prop_T_cons),
445476 ("prop_TL_cons", mytest prop_TL_cons),