balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add some asserts in data_encoding

Browse Source
This commit is contained in:
OCamlPro-Iguernlala 2017-03-29 18:33:39 +02:00
parent dc32decd05
commit 669a0249ca
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/minutils/data_encoding.ml
View File

@ -1077,10 +1077,12 @@ let rec length : type x. x t -> x -> int = fun e ->
let list read buf ofs len = let list read buf ofs len =
let rec loop acc ofs len = let rec loop acc ofs len =
assert (len >= 0);
if len <= 0 if len <= 0
then ofs, List.rev acc then ofs, List.rev acc
else else
let ofs', v = read buf ofs len in let ofs', v = read buf ofs len in
assert (ofs' > ofs);
loop (v :: acc) ofs' (len - (ofs' - ofs)) loop (v :: acc) ofs' (len - (ofs' - ofs))
in in
loop [] ofs len loop [] ofs len