@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?
This post was last modified on July 6, 2018, 2:51 am