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

Invariants improvements: Add stamp Loan handler #881

Closed prateek105 closed 1 year ago

prateek105 commented 1 year ago

Description of change

High level

Add stamp Loan handler in invariants.

ith-harvey commented 1 year ago

Would you mind explaining why this change is helpful / needed in your PR description?

grandizzy commented 1 year ago

Would you mind explaining why this change is helpful / needed in your PR description?

this borrower function is not tested at all in invariants

grandizzy commented 1 year ago

LGTM - are there any stampLoan specific invariants we should also be testing?

hm, not that I'm aware of, @prateek105 any thoughts?

prateek105 commented 1 year ago

LGTM - are there any stampLoan specific invariants we should also be testing?

hm, not that I'm aware of, @prateek105 any thoughts?

I am also unable to think of any @MikeHathaway @grandizzy