Ethereum smart contract fuzzer
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.
 
 
 
 
 
echidna/tests/solidity/basic/push_long.sol

25 lines
408 B

contract TEST {
address [] a;
bool lengthChecking = false;
function push_1() public {
a.push(address(1));
}
function turn_on_length_checking() public {
lengthChecking = true;
}
function turn_off_length_checking() public {
lengthChecking = false;
}
function test_long_5() public {
if (a.length >= 5) {
if (lengthChecking) {
assert(false);
}
}
}
}