[Certora] Implement reviews suggestions - Githubissues

morpho-org / metamorpho

MetaMorpho

https://morpho.org

Other

53 stars 26 forks source link

[Certora] Implement reviews suggestions #413

Closed QGarchery closed 7 months ago

QGarchery commented 7 months ago

This PR:

implements last point of #412
uses the canonical pattern of checking timestamp properties in Timelock.spec