[Certora] Fix solver setup

morpho-org / metamorpho

MetaMorpho

https://morpho.org

Other

53 stars 26 forks source link

Closed QGarchery closed 6 months ago

QGarchery commented 7 months ago

This PR:

[x] updates configurations to certora-cli version 7.3.0
[x] refactors invariants not necessarily needing to create a wrapper function anymore (since 7.3.0)