simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-07 11:45:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

test: update the cbor tests

Browse source
This commit is contained in:
Simon Cruanes 2023-04-19 22:10:51 -04:00
parent 4cf71ef3f0
commit 87b10adcca
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
tests/core/t_cbor.ml
View file

@ -28,10 +28,12 @@ let gen_c : Cbor.t Q.Gen.t =
let+ f = float in let+ f = float in
`Float f ); `Float f );
( 2, ( 2,
let+ s = string_size ~gen:printable (0 -- 150) in let* n = frequency [ 20, 0 -- 150; 1, 151 -- 100_000 ] in
let+ s = string_size ~gen:printable (return n) in
`Text s ); `Text s );
( 2, ( 2,
let+ s = string_size ~gen:char (0 -- 150) in let* n = frequency [ 20, 0 -- 150; 1, 151 -- 100_000 ] in
let+ s = string_size ~gen:char (return n) in
`Bytes s ); `Bytes s );
] ]
in in
@ -54,6 +56,9 @@ let gen_c : Cbor.t Q.Gen.t =
list_size (0 -- 5) (pair g_base recurse) list_size (0 -- 5) (pair g_base recurse)
in in
`Map l ); `Map l );
( 1,
let+ i = 0 -- 1024 and+ sub = self (size - 1) in
`Tag (i, sub) );
] ]
in in
frequency frequency
@ -98,7 +103,7 @@ let rec shrink (c : Cbor.t) : Cbor.t Q.Iter.t =
let arb = Q.make ~shrink ~print:Cbor.to_string_diagnostic gen_c;; let arb = Q.make ~shrink ~print:Cbor.to_string_diagnostic gen_c;;
q ~count:10_000 arb @@ fun c -> q ~count:1_000 ~long_factor:10 arb @@ fun c ->
let s = Cbor.encode c in let s = Cbor.encode c in
let c' = Cbor.decode_exn s in let c' = Cbor.decode_exn s in
if not (c = c') then if not (c = c') then