mirror of https://github.com/crytic/echidna
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.
31 lines
587 B
31 lines
587 B
contract Test {
|
|
event Flag(bool);
|
|
|
|
bool private flag0 = true;
|
|
bool private flag1 = true;
|
|
|
|
function set0(int val) public returns (bool){
|
|
if (val % 100 == 0)
|
|
flag0 = false;
|
|
}
|
|
|
|
function set1(int val) public returns (bool){
|
|
if (val % 10 == 0 && !flag0)
|
|
flag1 = false;
|
|
}
|
|
|
|
function echidna_alwaystrue() public returns (bool){
|
|
return(true);
|
|
}
|
|
|
|
function echidna_revert_always() public returns (bool){
|
|
revert();
|
|
}
|
|
|
|
function echidna_sometimesfalse() public returns (bool){
|
|
emit Flag(flag0);
|
|
emit Flag(flag1);
|
|
return(flag1);
|
|
}
|
|
|
|
}
|
|
|