ilyakooo0/binary-bits
1
0
Fork 0
mirror of https://github.com/ilyakooo0/binary-bits.git synced 2024-09-11 06:35:26 +03:00
Code Issues Packages Projects Releases Wiki Activity

Port tests to binary >= 0.6.0.0.

Browse Source
This commit is contained in:
Lennart Kolmodin 2012-10-28 15:02:08 +04:00
parent 2b616b3df7
commit 3cebf6c4e4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
BitsQC.hs
View File

@ -3,7 +3,7 @@
module Main where
import Data.Binary ( encode, Binary(..) )
import Data.Binary.Get ( runGet, runGetPartial, feedLBS, Result(..) )
import Data.Binary.Get ( runGet, runGetIncremental, pushChunks, Decoder(..) )
import Data.Binary.Put ( runPut )
import qualified Data.Binary.Get as BG ( getWord8, getWord16be, getWord32be, getWord64be )
@ -202,7 +202,7 @@ prop_fail lbs errMsg0 = forAll (choose (0, 8 * L.length lbs)) $ \len ->
p = do getByteString (fromIntegral bytes)
getBits (fromIntegral bits) :: BitGet Word8
fail errMsg0
r = runGetPartial (runBitGet p) `feedLBS` lbs
r = runGetIncremental (runBitGet p) `pushChunks` lbs
in case r of
Fail remainingBS pos errMsg ->
and [ L.fromChunks [remainingBS] == L.drop expectedBytesConsumed lbs