Re-enable solidity coverage

- Upgrade version
- Re-enable in travis.yml
- Move mocks to contracts folder for instrumentation
This commit is contained in:
Santiago Palladino
2017-12-19 13:34:35 -03:00
parent ddcae6254e
commit 1455a5a942
43 changed files with 127 additions and 1044 deletions

View File

@ -0,0 +1,17 @@
pragma solidity ^0.4.18;
import {Bounty, Target} from "../../contracts/Bounty.sol";
contract SecureTargetMock is Target {
function checkInvariant() public returns(bool) {
return true;
}
}
contract SecureTargetBounty is Bounty {
function deployContract() internal returns (address) {
return new SecureTargetMock();
}
}