search

morpho-org / metamorpho

MetaMorpho
https://morpho.org
Other
53 stars 26 forks source link

[Certora] Added sanity checks for MarketInteractions #418

Closed jhoenicke closed 6 months ago

jhoenicke commented 6 months ago

This enables the basic rule_sanity checks for MarketInteractions. Instead of an invariant it uses a generic rule.