Smart contract specification language
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
d-xo opened this issue 4 years ago · comments
The current implementation fails with a parse error on the following spec:
constructor of C interface constructor() creates int totalSupply := -1
We should implement negative integer literals.