simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2026-05-05 08:54:22 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

add some edge cases

Browse source
This commit is contained in:
Simon Cruanes 2026-02-09 21:03:35 -05:00
parent 01004a3c92
commit f020127725
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 22 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
tests/leb128/t_leb128.ml
View file

@ -52,7 +52,8 @@ true
;;
q ~count:10_000 ~long_factor:20 Q.int @@ fun i ->
let i = abs i in
(* make sure [i] is non negative *)
let i = max 0 (abs i) in
if not (encode_decode_uint i) then
Q.Test.fail_reportf "uint roundtrip failed for %d" i;
true
@ -130,6 +131,15 @@ assert_equal ~printer:string_of_int 1 n;
true
;;
t @@ fun () ->
let buf = Buf.create () in
Leb128.Encode.i64 buf 0L;
let slice = Buf.to_slice buf in
let skip = Leb128.Decode.skip slice 0 in
assert_equal ~printer:string_of_int 1 skip;
true
;;
t @@ fun () ->
let buf = Buf.create () in
Leb128.Encode.i64 buf (-1L);
@ -182,10 +192,18 @@ true
t @@ fun () ->
let buf = Buf.create () in
Leb128.Encode.i64 buf 0L;
Leb128.Encode.i64 buf Int64.min_int;
let slice = Buf.to_slice buf in
let skip = Leb128.Decode.skip slice 0 in
assert_equal ~printer:string_of_int 1 skip;
let v, _n = Leb128.Decode.i64 slice 0 in
assert_equal ~printer:Int64.to_string Int64.min_int v;
true
;;
let buf = Buf.create () in
Leb128.Encode.i64 buf Int64.max_int;
let slice = Buf.to_slice buf in
let v, _n = Leb128.Decode.i64 slice 0 in
assert_equal ~printer:Int64.to_string Int64.max_int v;
true
;;