Giters

ethereum / act

Smart contract specification language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Automatically generate getter specs

zoep opened this issue · comments

commented

It can be nice to have a public keyword for storage variables in Act so we can generate getter specs automatically.