mirror of
https://github.com/logos-messaging/logos-messaging-rlnv2-contract.git
synced 2026-01-04 06:53:07 +00:00
10 lines
162 B
Python
10 lines
162 B
Python
methods {
|
|
function id(uint256) external returns (uint256) envfree;
|
|
}
|
|
|
|
rule checkIdOutputIsAlwaysEqualToInput {
|
|
uint256 input;
|
|
|
|
assert id(input) == input;
|
|
}
|