mirror of https://github.com/crytic/echidna
parent
743a5f30cb
commit
a2fde209ff
@ -1,19 +0,0 @@ |
||||
pragma solidity ^0.5; |
||||
|
||||
contract Test { |
||||
bool private flag0=true; |
||||
bool private flag1=true; |
||||
|
||||
function set0(int val) public returns (bool){ |
||||
if (val % 10 == 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_alwaystrue2() public returns (bool){ |
||||
return(!false); |
||||
} |
||||
} |
@ -1,16 +0,0 @@ |
||||
pragma solidity ^0.5; |
||||
|
||||
contract Test { |
||||
bool private flag0=true; |
||||
bool private flag1=true; |
||||
|
||||
function set0(int val) public returns (bool){ |
||||
if (val % 10 == 0) {flag0 = false;} |
||||
} |
||||
function set1(int val) public returns (bool){ |
||||
if (val % 10 == 0 && flag0) {flag1 = false;} |
||||
} |
||||
function echidna_sometimesfalse() public returns (bool){ |
||||
return(flag0 || flag1); |
||||
} |
||||
} |
Loading…
Reference in new issue