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.
28 lines
660 B
28 lines
660 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 "../bounties/BreakInvariantBounty.sol";
|
|
|
|
contract TargetMock is Target {
|
|
bool private exploited;
|
|
|
|
function exploitVulnerability() public {
|
|
exploited = true;
|
|
}
|
|
|
|
function checkInvariant() public returns (bool) {
|
|
if (exploited) {
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|
|
}
|
|
|
|
contract BreakInvariantBountyMock is BreakInvariantBounty {
|
|
function _deployContract() internal returns (address) {
|
|
return new TargetMock();
|
|
}
|
|
}
|
|
|