search

Zilliqa / scilla-rtl

Execute Scilla code compiled by the Scilla -> LLVM compiler.
GNU General Public License v3.0
8 stars 3 forks source link

Remote load balance of sender must be handled specially #23

Closed vaivaswatha closed 3 years ago

vaivaswatha commented 3 years ago

remote_load in EvalUtil.ml subtracts incoming _amount from a balance query for _sender. Do this in SRTL too.

vaivaswatha commented 3 years ago

A test for this has been added, but disabled, in https://github.com/Zilliqa/scilla-vm/pull/25