morpho-blue icon indicating copy to clipboard operation
morpho-blue copied to clipboard
verified publisher icon morpho-org

[Certora] Improve assets accounting specification

Open QGarchery opened this issue 1 year ago • 0 comments

Improve assets accounting specification so that we don't have to assume that supply, borrow, and supplyCollateral start with an empty position

QGarchery avatar Aug 14 '24 13:08 QGarchery