composewell/streamly
1
1
Fork 0
mirror of https://github.com/composewell/streamly.git synced 2024-09-11 11:37:22 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add tests for unsigned 64 bit integer variable length encoding

Browse Source
This commit is contained in:
Adithya Kumar 2023-08-30 18:17:02 +05:30
parent 159a048652
commit 6c4cb1b4e7
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
test/Streamly/Test/Data/Serialize.hs
View File

@ -1,4 +1,5 @@
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE CPP #-}
-- |
-- Module : Streamly.Test.Data.Serialize
@ -18,6 +19,7 @@ import Streamly.Internal.Data.Unbox (newBytes)
import GHC.Generics (Generic)
import Streamly.Test.Data.Serialize.TH (genDatatype)
import Streamly.Internal.Data.Serialize.TH (deriveSerialize)
import Streamly.Internal.Data.Serialize (VLWord64)
import qualified Streamly.Internal.Data.Serialize as Serialize
@ -84,6 +86,14 @@ testSerializeList sizeOfA val = do
roundtrip val
--------------------------------------------------------------------------------
-- VLWord64 helper
--------------------------------------------------------------------------------
#define VLWord64Test(LOW, UP, EXP_SZ) prop "[LOW, UP]" \
$ forAll (chooseBoundedIntegral (LOW, UP)) \
$ \(x :: VLWord64) -> roundtrip x >> (Serialize.size 0 x `shouldBe` EXP_SZ)
--------------------------------------------------------------------------------
-- Tests
--------------------------------------------------------------------------------
@ -98,6 +108,17 @@ testCases = do
(8 + 3 * 8 + 6 * 8)
([[1], [1, 2], [1, 2, 3]] :: [[Int]])
describe "VLWord64" $ do
VLWord64Test(0,240,1)
VLWord64Test(241,2287,2)
VLWord64Test(2288,67823,3)
VLWord64Test(67824,16777215,4)
VLWord64Test(16777216,4294967295,5)
VLWord64Test(4294967296,1099511627775,6)
VLWord64Test(1099511627776,281474976710655,7)
VLWord64Test(281474976710656,72057594037927935,8)
VLWord64Test(72057594037927936,maxBound,9)
limitQC
$ prop "CustomDatatype"
$ \(x :: CustomDatatype) -> roundtrip x