[Certora] mutation testing instructions and conf file

morpho-org / morpho-blue-irm

Morpho Blue Interest Rate Models

https://morpho.org

MIT License

26 stars 17 forks source link

Closed mailalexjoseph closed 1 year ago

mailalexjoseph commented 1 year ago

gambit.conf file for running the mutation testing and running instructions in certora/mutationTesting.md

QGarchery commented 1 year ago

Closing because not planned for now