mirror of
https://github.com/vacp2p/governance.git
synced 2026-01-09 15:08:00 -05:00
11 lines
163 B
Python
11 lines
163 B
Python
methods {
|
|
function id(uint256) external returns (uint256) envfree;
|
|
}
|
|
|
|
rule checkIdOutputIsAlwaysEqualToInput {
|
|
uint256 input;
|
|
|
|
assert id(input) == input;
|
|
}
|
|
|