|
|
|
@ -3,7 +3,7 @@ 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/drafts/BreakInvariantBounty.sol"; |
|
|
|
|
import {BreakInvariantBounty, Target} from "../drafts/BreakInvariantBounty.sol"; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
contract InsecureInvariantTargetMock is Target { |
|
|
|
|