Fix send

Author: lmoe

packages/solo/check.go

@@ -66,7 +66,9 @@ func (ch *Chain) CheckAccountLedger() {
 	require.True(ch.Env.T, ch.L2Assets(coreacc).IsEmpty())
 
 	_, bals := ch.GetLatestAnchorWithBalances()
-	require.True(ch.Env.T, bals.Equals(total))
+	if !bals.Equals(total) {
+		require.Failf(ch.Env.T, "failed chain accounts check", "Balances:\nL1: %s\nL2: %s", bals.String(), total.String())
+	}
 }
 
 func (ch *Chain) AssertL2TotalCoins(coinType coin.Type, bal coin.Value) {

packages/vm/core/evm/evmtest/evm_test.go

@@ -626,6 +626,8 @@ func TestSendPayableValueTX(t *testing.T) {
 	require.EqualValues(t, senderInitialBalance-valueInBaseTokens-res.ISCReceipt.GasFeeCharged, env.Chain.L2BaseTokens(isc.NewEthereumAddressAgentID(senderEthAddress)))
 	// L1 balance of receiver is `values sent in tx`
 	require.EqualValues(t, valueInBaseTokens, env.solo.L1BaseTokens(receiver))
+
+	env.Chain.CheckAccountLedger()
 }
 
 func TestSendBaseTokens(t *testing.T) {

packages/vm/vmimpl/send.go

@@ -9,4 +9,10 @@ const MaxPostedOutputsInOneRequest = 4
 func (reqctx *requestContext) send(params isc.RequestParameters) {
 	// simply send assets to a L1 address
 	reqctx.vm.txbuilder.SendAssets(params.TargetAddress.AsIotaAddress(), params.Assets)
+
+	account := reqctx.CurrentContractAccountID()
+	reqctx.accountsStateWriter(false).DebitFromAccount(account, params.Assets.Coins)
+	for obj := range params.Assets.Objects.Iterate() {
+		reqctx.accountsStateWriter(false).DebitObjectFromAccount(account, obj.ID)
+	}
 }