[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

This post was last modified on July 6, 2018, 10:11 pm