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.
27 lines
623 B
27 lines
623 B
// tests unwind support in precompiles
|
|
contract Unwind {
|
|
constructor() public {
|
|
bytes32 x = hex"01";
|
|
bytes32[4] memory input;
|
|
bytes32[2] memory result;
|
|
input[0] = x;
|
|
input[1] = x;
|
|
input[2] = x;
|
|
input[3] = x;
|
|
assembly {
|
|
let success := call(gas(), 0x06, 0, input, 0x80, result, 0x40)
|
|
switch success
|
|
case 0 {
|
|
revert(0, 0)
|
|
}
|
|
}
|
|
}
|
|
|
|
function f() pure public returns (int) {
|
|
return 0;
|
|
}
|
|
|
|
function echidna_f() pure public returns (bool) {
|
|
return false;
|
|
}
|
|
} |