morpho-blue icon indicating copy to clipboard operation
morpho-blue copied to clipboard

Published 20 hours ago • verified publisher icon morpho-org

[Certora] Stay healthy liquidate

Open QGarchery opened this issue 7 months ago • 0 comments

Todo:

  • [ ] make sure that it goes through
  • [x] refactor the rule to align its style with the rest
  • [x] wait for it to pass on certora-cli, and switch to certora-cli

QGarchery avatar Jul 05 '24 08:07 QGarchery