scilla icon indicating copy to clipboard operation
scilla copied to clipboard

Published 20 hours ago • verified publisher icon Zilliqa

[Gas-Analysis] Misc bug-fixes

Open vaivaswatha opened this issue 5 years ago • 0 comments

When analyzing this contract, https://github.com/merkaliser/scilla-vanilla/blob/develop/ERC223/contract.scilla, the analyzed GUP has the term "Element of: balances" appearing twice even thought it's the same. This is likely due to two identifiers with different locations being treated as different identifiers.

Implicit names (such as _this_address) not handled, must be. Here's an example contract using it https://github.com/khelmy/zdex/blob/master/contracts/Hub.scilla

vaivaswatha avatar Apr 24 '19 16:04 vaivaswatha