composewell/streamly
1
1
Fork 0
mirror of https://github.com/composewell/streamly.git synced 2024-08-16 23:10:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add a more robust offset ignoring tests in Serialize

Browse Source 
This is meant to catch any serialized absolute offsets
This commit is contained in:
Adithya Kumar 2023-09-13 15:35:26 +05:30
parent 9bda27ac9b
commit 5f67528761
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -21,6 +21,7 @@ module Streamly.Test.Data.Serialize (main) where
-- Imports
--------------------------------------------------------------------------------
import System.Random (randomRIO)
import Streamly.Internal.Data.Unbox (newBytes)
import GHC.Generics (Generic)
import Streamly.Test.Data.Serialize.TH (genDatatype)
@ -121,11 +122,13 @@ roundtrip val = do
let sz = Serialize.size 0 val
let excessSize = 100
randomOff <- randomRIO (10, excessSize)
-- Use a proper slice to test instead of the array directly. This will catch
-- any hardcoded 0 offsets
let arrSize = sz + 100
serStartOff = 50
serEndOff = 50 + sz
let arrSize = sz + excessSize
serStartOff = randomOff
serEndOff = randomOff + sz
arr <- newBytes arrSize
off1 <- Serialize.serialize serStartOff arr val
@ -134,7 +137,10 @@ roundtrip val = do
off2 `shouldBe` off1
off2 `shouldBe` serEndOff
val `shouldBe` Serialize.decode (Serialize.encode val)
val `shouldBe` Serialize.decode (Array.Array arr serStartOff serEndOff)
let slice = Array.Array arr serStartOff serEndOff
val `shouldBe` Serialize.decode slice
clonedSlice <- Array.clone slice
val `shouldBe` Serialize.decode clonedSlice
testSerializeList
:: forall a. (Eq a, Show a, Serialize.Serialize a)