https://gitlab.com/tezos/tezos
Raw File
Tip revision: 66c0cc7187ff7e3f99f6223c22b8328e689a8dc7 authored by Mathias Bourgoin on 29 March 2024, 09:13:52 UTC
fixup! Proto/test/integration: update other tests (with smaller changes)
Tip revision: 66c0cc7
and_int-nat_03.tzt
code { AND } ;
input { Stack_elt int 12 ; Stack_elt nat 5 } ;
output { Stack_elt nat 4 }
back to top