Alpha: add check_size when parsing Z values

This commit is contained in:
Marco Stronati 2018-06-13 16:46:32 +02:00 committed by Benjamin Canou
parent 0d136b0bd7
commit e1702e0db2

View File

@ -472,9 +472,9 @@ module Encoding = struct
(obj5 (obj5
(req "source" Contract_repr.encoding) (req "source" Contract_repr.encoding)
(req "fee" Tez_repr.encoding) (req "fee" Tez_repr.encoding)
(req "counter" z) (req "counter" (check_size 10 z))
(req "gas_limit" z) (req "gas_limit" (check_size 10 z))
(req "storage_limit" z)) (req "storage_limit" (check_size 10 z)))
let extract let extract
(type kind) (type kind)