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/values/constants3.sol

12 lines
223 B

contract ConstantsAddress {
bool found = false;
function find(address s) public {
if (s == msg.sender) {found = true;}
}
function echidna_found_sender() public view returns (bool) {
return(!found);
}
}