Commit d0fbffab authored by Don Stewart's avatar Don Stewart
Browse files

update expected output. tougher replicate test.

parent 8622fdf6
......@@ -396,11 +396,9 @@ prop_findSubstrings s x l
naive_findSubstrings p s = [x | x <- [0..length s], p `isPrefixOf` drop x s]
prop_replicate1 n c =
(n >= 0) ==>
unpack (P.replicate n c) == replicate n c
prop_replicate2 n c =
(n >= 0) ==>
P.replicate n c == P.unfoldrN n (\u -> Just (u,u)) c
prop_replicate3 c = unpack (P.replicate 0 c) == replicate 0 c
......
......@@ -98,8 +98,8 @@ copy : 01234567891011121314151617181920
inits : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
tails : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
findSubstrings : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
replicate1 : 001223345678910101112131314151516171718181819191920212121212223242424252627282828282828293031313132333434343535353536373838383839404041424242434343444545464646464748494949505051515253535455565758596060606060616262636464656667676767686969697071717171727373737475757575757575767778787878797979808181818181828384858686878889899090919191929393949595959696969696969797979899OK, 100 tests.
replicate2 : 001223345678910101112131314151516171718181819191920212121212223242424252627282828282828293031313132333434343535353536373838383839404041424242434343444545464646464748494949505051515253535455565758596060606060616262636464656667676767686969697071717171727373737475757575757575767778787878797979808181818181828384858686878889899090919191929393949595959696969696969797979899OK, 100 tests.
replicate1 : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
replicate2 : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
replicate3 : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
readint : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
readint2 : 0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899OK, 100 tests.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment