Content - 51aff946971ed77c29baae1f29f89a3dfa6bdc7f - 0c5ca29/tzt_reference_test_suite/mem_mapnatnat_01.tzt

swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e

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_mapnatnat_01.tzt

code { MEM } ;
input { Stack_elt nat 1 ; Stack_elt (map nat nat) { } } ;
output { Stack_elt bool False }