https://gitlab.com/tezos/tezos
Revision e1f3377b0a628ede4cd7a02cb1b4ba95eb932236 authored by Felix Puscasu on 07 February 2024, 14:15:52 UTC, committed by Felix Puscasu on 08 February 2024, 11:56:34 UTC
1 parent 0e3e65c
Raw File
Tip revision: e1f3377b0a628ede4cd7a02cb1b4ba95eb932236 authored by Felix Puscasu on 07 February 2024, 14:15:52 UTC
RISC-V: Fix goblin related warnings when compiling risc_v crates
Tip revision: e1f3377
mem_bigmapnatnat_02.tzt
code { MEM } ;
input { Stack_elt nat 1 ; Stack_elt (big_map nat nat) 10 } ;
output { Stack_elt bool True } ;
big_maps { Big_map 10 nat nat { Elt 1 0 } }
back to top