mirror of
https://github.com/crytic/echidna.git
synced 2026-10-12 02:12:32 +00:00
9 lines
199 B
Solidity
9 lines
199 B
Solidity
contract C {
|
|
|
|
bytes32 public immutable x = keccak256("");
|
|
bool private state = true;
|
|
function f() public { state = false; }
|
|
function echidna_test() public returns (bool) { return state; }
|
|
|
|
}
|