Revision 66697c6a3b87aeae942ea4e7d2680a8e8f5e2beb authored by Pierrick Couderc on 02 April 2024, 14:30:59 UTC, committed by Pierrick Couderc on 02 April 2024, 14:53:07 UTC
1 parent fb7cd45
mem_bigmapnatnat_05.tzt
code { MEM } ;
input { Stack_elt nat 3 ; Stack_elt (big_map nat nat) 10 } ;
output { Stack_elt bool False } ;
big_maps { Big_map 10 nat nat { Elt 1 4 ; Elt 2 11 } }
Computing file changes ...
