[Gas-Analysis] Model folds correctly

Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language

https://scilla-lang.org

GNU General Public License v3.0

241 stars 78 forks source link

[Gas-Analysis] Model folds correctly #756

Open anton-trunov opened 4 years ago

anton-trunov commented 4 years ago

I tried to check FungibleToken.scilla file from https://github.com/Zilliqa/ZRC/pull/31 with the Gas Usage Analizer, but got the following error message:

$ bin/scilla-checker -gua -gaslimit 8000 -libdir src/stdlib FungibleToken.scilla

src/stdlib/ListUtils.scillib:11:18: error: Couldn't resolve the identifier in gas use analysis: "list_foldk".

src/stdlib/ListUtils.scillib:11:18: error: Couldn't resolve the identifier in gas use analysis: "list_foldk".

Gas remaining: 6873

vaivaswatha commented 4 years ago

GUA needs a major over-haul, including for the more primitive list_fold.