You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
562 B
20 lines
562 B
pragma solidity ^0.4.24;
|
|
|
|
// When this line is split, truffle parsing fails.
|
|
// See: https://github.com/ethereum/solidity/issues/4871
|
|
// solium-disable-next-line max-len
|
|
import {BreakInvariantBounty, Target} from "../../contracts/bounties/BreakInvariantBounty.sol";
|
|
|
|
|
|
contract SecureInvariantTargetMock is Target {
|
|
function checkInvariant() public returns(bool) {
|
|
return true;
|
|
}
|
|
}
|
|
|
|
|
|
contract SecureInvariantTargetBounty is BreakInvariantBounty {
|
|
function _deployContract() internal returns (address) {
|
|
return new SecureInvariantTargetMock();
|
|
}
|
|
}
|
|
|