https://gitlab.com/tezos/tezos
Raw File
Tip revision: 90dd6e8516d8db6ba107bea186619f7de6e54e12 authored by marcbeunardeau on 23 January 2024, 09:29:35 UTC
Crypto/Timelock/Test: check that we can open an ill-formed lock
Tip revision: 90dd6e8
mem_mapstringnat_03.tzt
code { MEM } ;
input { Stack_elt string "foo" ; Stack_elt (map string nat) { Elt "bar" 4 ; Elt "foo" 11 } } ;
output { Stack_elt bool True }
back to top