mirror of
https://github.com/crytic/echidna.git
synced 2026-10-12 02:12:32 +00:00
31 lines
560 B
Solidity
31 lines
560 B
Solidity
contract C {
|
|
bool state1 = false;
|
|
bool state2 = false;
|
|
bool state3 = false;
|
|
|
|
function s1() public {
|
|
//require(x == msg.sender);
|
|
require(msg.sender == address(0x1));
|
|
state1 = true;
|
|
}
|
|
|
|
|
|
function s2() public {
|
|
//require(x == msg.sender);
|
|
require(msg.sender == address(0x2));
|
|
state2 = true;
|
|
}
|
|
|
|
|
|
function s3() public {
|
|
//require(x == msg.sender);
|
|
require(msg.sender == address(0x3));
|
|
state3 = true;
|
|
}
|
|
|
|
function echidna_all_sender() public returns (bool) {
|
|
return (!state1 || !state2 || !state3);
|
|
}
|
|
|
|
}
|