ajna-finance / ajna-core

The Ajna protocol is a non-custodial, peer-to-peer, permissionless lending, borrowing and trading system that requires no governance or external price feeds to function.

https://www.ajna.finance/

Other

31 stars 11 forks source link

Add bucket bankruptcy scenario for rewards manager #930

Closed prateek105 closed 1 year ago

prateek105 commented 1 year ago

Description of change

High level

Add bucket bankruptcy scenario for rewards manager invariant testing

MikeHathaway commented 1 year ago

Logic looks good, but would be great to use the other modifiers in this scenario or a copy and work on ramping depth. Looks like there's some merge conflicts as well