mirror of
https://github.com/status-im/ens-usernames.git
synced 2025-02-22 23:28:11 +00:00
10 lines
162 B
RPMSpec
10 lines
162 B
RPMSpec
|
methods {
|
||
|
|
function id(uint256) external returns (uint256) envfree;
|
||
|
|
}
|
||
|
|
|
||
|
|
rule checkIdOutputIsAlwaysEqualToInput {
|
||
|
|
uint256 input;
|
||
|
|
|
||
|
|
assert id(input) == input;
|
||
|
|
}
|