Closed saeed-zil closed 1 month ago
These should be supported:
transition fundUserWithTag( user : ByStr20, amount : Uint128) msg = { _tag : "AddFunds"; _recipient : user ; _amount : amount }; no_msg = Nil {Message}; msgs = Cons {Message} msg no_msg; send msgs end transition fundUser (user : ByStr20, amount : Uint128) msg = { _tag : "" ; _recipient : user ; _amount : amount }; no_msg = Nil {Message}; msgs = Cons {Message} msg no_msg; send msgs end transition fundContract (contract_address : ByStr20, amount : Uint128) msg = { _tag : "acceptZil" ; _recipient : contract_address ; _amount : amount }; no_msg = Nil {Message}; msgs = Cons {Message} msg no_msg; send msgs end
Tests are enabled in #1423
These should be supported: