Closed 0x-r4bbit closed 7 months ago
This includes a bunch of changes and fixes to the certora rules for it to at least not have a failing rule.
Closes #77
Ensure you completed all of the steps below before submitting your pull request:
forge snapshot
pnpm gas-report
pnpm lint
forge test
pnpm verify
Description
This includes a bunch of changes and fixes to the certora rules for it to at least not have a failing rule.
Closes #77
Checklist
Ensure you completed all of the steps below before submitting your pull request:
forge snapshot?pnpm gas-report?pnpm lint?forge test?pnpm verify?