5 lines
88 B
Plaintext
5 lines
88 B
Plaintext
|
rule sanity(env e, method f) {
|
||
|
|
calldataarg args;
|
||
|
|
f(e, args);
|
||
|
|
satisfy true;
|
||
|
|
}
|