mirror of
https://github.com/vacp2p/foundry-template.git
synced 2025-02-05 03:54:12 +00:00
2b90aeb38a
This adds a new command to package.json `verify` which can be run via `pnpm verify`. The command runs the certora CLI with a config file which has to be adjusted for every individual project. The commit also adds a dedicated task to our github actions, which ensures, verification is done in every PR as well.
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;
|
|
}
|