Revision fcdc119ee862094d9175c7dbce81b80d5f0e3cf4 authored by Marge Bot on 28 February 2024, 11:12:39 UTC, committed by Marge Bot on 28 February 2024, 11:12:39 UTC
Co-authored-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Approved-by: Romain <romain@nomadic-labs.com> Approved-by: Thomas Letan <lthms@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11985
iter_mapintint_00.tzt
code { ITER { CDR ; SWAP ; SUB } } ;
input { Stack_elt (map int int) { Elt 1 3 ; Elt 5 2 } ; Stack_elt int 1000 } ;
output { Stack_elt int 995 }
Computing file changes ...