Raw File
test_contract_macros.TestMacroExpansion::test_macro_expansion[macros--assert_cmpneq.tz].out
tests_014/test_contract_macros.py::TestMacroExpansion::test_macro_expansion[macros/assert_cmpneq.tz]

{ parameter (pair int int) ;
  storage unit ;
  code { CAR ;
         DUP ;
         CAR ;
         DIP { CDR } ;
         { { COMPARE ; NEQ } ; IF {} { { UNIT ; FAILWITH } } } ;
         UNIT ;
         NIL operation ;
         PAIR } }
back to top