safe-global / safe-smart-account / 10882359522

94%

push

github

Migration Contract FV (#832)

Based on #829 

Some extra changes:
- Adding FV to Certora Workflow
- Remove the unused `data` from the `SafeMock`.
- EOF and some capitalization changes
- Parametric argument to some rules

---------

Co-authored-by: Hristo Grigorov <hristo.grigorov@gmail.com>
Co-authored-by: Nicholas Rodrigues Lordello <nick@safe.global>

259 of 292 branches covered (88.7%)

Branch coverage included in aggregate %.

396 of 408 relevant lines covered (97.06%)

100.56 hits per line