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

Modify invariant test to round debt same way for LUP calc #879

Closed mattcushman closed 1 year ago

mattcushman commented 1 year ago

Description of change

High level

Description of bug or vulnerability and solution

Contract size

Pre Change

## Post Change # Gas usage ## Pre Change ## Post Change

grandizzy commented 1 year ago

As discovered in #882 the contracts src needs to be amended anyways so changing only the invariant to prevent such is not an option anymore, closing in favour of #876 and #878