[Certora] fix exact math timeout - Githubissues

morpho-org / morpho-blue

🟦 Morpho Blue Protocol

https://morpho.org

Other

146 stars 53 forks source link

[Certora] fix exact math timeout #676

Closed QGarchery closed 7 months ago

QGarchery commented 8 months ago

Todo:

[x] wait for configuration fixing exact math timeout
[x] wait for version 7.3.0 on certora-cli