Hi, are constants like UINT128_MAX implemented already by any chance? I was trying this:
definition UINT128_MAX() returns uint256 = 0xffffffffffffffffffffffffffffffff;
definition UINT64_MAX() returns uint256 = 0xffffffffffffffff;
methods { // << line 6
sqrt(uint256 a) returns (uint256) envfree
}
//...
But I am getting a
[main] ERROR log.Logger - Spec file:6:1: Syntax error: unexpected token near methods
Any suggestions?