[AugurProject/augur-core] contracts: Fix SMT errors for Solidity 0.4.25. (#706)

> I pushed the Dockerfile change, the SMT run uses now pre-released solc binary.
Once the redeclarations are removed SMT complains:

This seems like a bug in compiler when SMT is enabled since compiling without SMT enabled will cause the following error:

«`
Error: The following errors/warnings were returned by solc:

trading/Order.sol:134:18: DeclarationError: Identifier already declared.
for (uint256 _i = 0; _i < _numberOfOutcomes; _i++) { ^--------^ trading/Order.sol:123:14: The previous declaration is here: for (uint256 _i = 0; _i < _numberOfOutcomes; _i++) { ^--------^ ``` We need the contracts to be able to compile successfully when SMT is not enabled. Seems like we're close though!

Добавить комментарий