mirror of
https://github.com/crytic/echidna.git
synced 2026-10-12 02:12:32 +00:00
9 lines
152 B
Solidity
9 lines
152 B
Solidity
contract True {
|
|
function f() public returns (bool) {
|
|
return(false);
|
|
}
|
|
function echidna_true() public returns (bool) {
|
|
return(true);
|
|
}
|
|
}
|