Skip to main content

Browse the archive

Revision f975d91e659fa8502513950c8ce177834ca9d2e0 authored by Gauthier SEBILLE on 01 September 2023, 13:41:45 UTC, committed by Gauthier SEBILLE on 01 September 2023, 13:41:45 UTC 
RBT: fix format
1 parent e5ec284
Raw File
replay.tz 
# This contract always fail because it tries to execute twice the same operation
parameter unit ;
storage unit ;
code { CDR ; NIL operation ;
       SOURCE ; CONTRACT unit ; ASSERT_SOME ;
       PUSH mutez 1 ; UNIT ; TRANSFER_TOKENS ;
       DUP ; DIP { CONS } ; CONS ;
       PAIR }
back to top