Skip to content

Instantly share code, notes, and snippets.

@johnsoncarl
Last active Mar 27, 2020
Embed
What would you like to do?
Day14 blog of 20days blog series.
contract Test {
bool flag;
address[] listAddresses;
constructor() public{
flag = true;
}
function ifillArray() public {
if(listAddresses.length<1500) {
for(uint i=0;i<500;i++) {
listAddresses.push(msg.sender);
}
flag = false;
} else {
listAddresses = new address[](0);
flag = true;
}
}
function echidna_mustFail() public view returns (bool){
return flag;
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment