Xu Qiyuan

Why the verifier passes an invalid test after I added a useless argument?

1

### Summary of the problem Look at this minimal example ``` solidity contract TestToken { mapping(address => int) public balances; constructor() public{ balances[msg.sender] = 10000; } // both should fail,...

please update the gem for ruby-2.4.0

1

I found your gem require json gem which locks at version 1.8.3. However the native extension of json-1.8.3 can not be compiled under ruby-2.4.0 because of API updates. Please upgrade...