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
gt_02.tzt
code { GT } ;
input { Stack_elt int 0 } ;
output { Stack_elt bool False } ;
back to top