https://gitlab.com/tezos/tezos
Raw File
Tip revision: 676e8dd5c02ce4156f6e9d3d00a34423f86b5bee authored by Gauthier SEBILLE on 03 April 2024, 09:41:51 UTC
Tezt: update expected of views.ml
Tip revision: 676e8dd
loop_00.tzt
code { LOOP { PUSH int 2 ; ADD ; DUP ; DIP { PUSH int 10 } ; COMPARE ; LE } } ;
input { Stack_elt bool True ; Stack_elt int 1 } ;
output { Stack_elt int 11 }
back to top