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

@cryptomental I attempted to run the SMT checker using your branch `npm run docker:run:test:security:smt` but encountered a few issues:

— The contracts seem to fail compilation because of the redeclarations that were added in `Order.sol` and `TradingEscapeHatch.sol`
— The Dockerfile for the smt security check has not been updated to use the experimental solc version

Could you address these issues and confirm `npm run docker:run:test:security:smt` completes successfully?

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