https://gitlab.com/tezos/tezos
Raw File
Tip revision: 21f6f3d87dec681fd711036387cf7b4b3da7be47 authored by Gauthier SEBILLE on 25 August 2023, 13:52:51 UTC
DAC: fix deamon of DAC
Tip revision: 21f6f3d
gt_02.tzt
code { GT } ;
input { Stack_elt int 0 } ;
output { Stack_elt bool False } ;
back to top