-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore: introduce certora specs for CommunityTokenDeployer #26
Conversation
This adds some basic specs for the `CommunityTokenDeployer` and its interaction with `CommunityOwnerTokenRegistry`.
address factoryAfter = masterTokenFactory(); | ||
|
||
assert factoryBefore != factoryAfter => e.msg.sender == owner(); | ||
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Please review these and let me know if you know any other ways or specs to add here.
Properties can be found here https://notes.status.im/s/291mb-8nA
package.json
Outdated
@@ -23,7 +23,7 @@ | |||
"scripts": { | |||
"clean": "rm -rf cache out", | |||
"lint": "pnpm lint:sol && pnpm prettier:check", | |||
"verify": "certoraRun certora/certora.conf", | |||
"verify": "certoraRun certora/CommunityTokenDeployer.conf", |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This needs to be changed.
Right now this drops the run of the original CollectibleV1 specs.
We should rather extend this so that pnpm verify
runs any specs provided in the certora
folder.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Addressed this with 7704125 which now introduces pnpm verify:sub_commands
which can be run individually, while still being able to run pnpm verify
for all specs on CI.
This is done to allow execution of multiple verifications per command, such that we can still use `pnpm verify` as usual to run all specs, but also target individual specs using `pnpm verify:sub_command`.
7704125
to
5debe57
Compare
This adds some basic specs for the
CommunityTokenDeployer
and its interaction withCommunityOwnerTokenRegistry
.Checklist
Ensure you completed all of the steps below before submitting your pull request:
forge snapshot
?pnpm lint
?forge test
?pnpm verify
?