Mavryk_alpha_test_helpers.Transfersval transfer_and_check_balances :
?with_burn:bool ->
loc:string ->
Incremental.t ->
?fee:Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t ->
?expect_apply_failure:
(Mavryk_base.TzPervasives.error Mavryk_base.TzPervasives.trace ->
unit Mavryk_base.TzPervasives.tzresult Lwt.t) ->
Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t ->
(Incremental.t
* Mavryk_protocol_alpha.Protocol.Alpha_context.packed_operation)
Mavryk_base.TzPervasives.tzresult
Lwt.ttransfer_and_check_balances b fee src dst amount this function takes a block, an optional parameter fee if fee does not given it will be set to zero mav, a source contract, a destination contract and the amount that one wants to transfer.
1- Transfer the amount of mav (w/wo fee) from a source contract to a destination contract.
2- Check the equivalent of the balance of the source/destination contract before and after transfer is validated.
This function returns a pair:
val n_transactions :
int ->
Incremental.t ->
?fee:Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t ->
Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t ->
Incremental.t Mavryk_base.TzPervasives.tzresult Lwt.tn_transactions n b fee source dest amount this function takes a number of "n" that one wish to transfer, a block, an optional parameter fee, a source contract, a destination contract and an amount one wants to transfer.
This function will do a transaction from a source contract to a destination contract with the amount "n" times.