> 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