Added gaps at the end of the storage of each contract.

This commit is contained in:
Nicolás Venturo
2018-10-08 14:39:39 -03:00
parent b25e8b91a5
commit 932a39f5fd
49 changed files with 101 additions and 1 deletions

View File

@ -75,6 +75,8 @@ contract BreakInvariantBounty is Initializable, PullPayment, Ownable {
*/
function _deployContract() internal returns(address);
uint256[50] private ______gap;
}
@ -91,4 +93,6 @@ contract Target {
* @return True if all invariant values are correct, false otherwise.
*/
function checkInvariant() public returns(bool);
uint256[50] private ______gap;
}