feat(sc): Report parameterless procedures w/o side effects called in a loop

Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language

https://scilla-lang.org

GNU General Public License v3.0

241 stars 79 forks source link

Closed jubnzv closed 1 year ago

jubnzv commented 1 year ago

Closes #1157

jubnzv commented 1 year ago

Thanks. I agree about moving this to the next release, because this is just an enhancement for the checker.