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.
Update auctionInfo to return borrower t0ReserveSettleAmount from the pool.
Update _assertAuction to check borrower t0ReserveSettleAmount.
Add invariant A10: Upon kick t0ReserveSettleAmount should be set to BorrowerT0Debt * borrowFeeRate / 2 for the kicked borrower
Update LOANS_COUNT in ERC20PoolPositionsInvariants from 500 to 320 to resolve the EvmError: MemoryLimitOOG error while running tests. This started to fail because auctionInfo updated to return t0ReserveSettleAmount now.
Purpose
Impact
This PR includes src changes to return t0ReserveSettleAmount. This PR can be used for testing only to avoid contracts redeployment as there is no real need for user to know how much bad debt can be settled through reserves at the time of settlement.
Tasks
[x] Changes to protocol contracts are covered by unit tests executed by CI.
[x] Protocol contract size limits have not been exceeded.
[x] Gas consumption for impacted transactions have been compared with the target branch, and nontrivial changes cited in the Impact section above.
[x] Scope labels have been assigned as appropriate.
[x] Invariant tests have been manually executed as appropriate for the nature of the change.
Description
auctionInfoto return borrowert0ReserveSettleAmountfrom the pool._assertAuctionto check borrowert0ReserveSettleAmount.t0ReserveSettleAmountshould be set toBorrowerT0Debt * borrowFeeRate / 2for the kicked borrowerLOANS_COUNTinERC20PoolPositionsInvariantsfrom500to320to resolve theEvmError: MemoryLimitOOGerror while running tests. This started to fail becauseauctionInfoupdated to returnt0ReserveSettleAmountnow.Purpose
Impact
t0ReserveSettleAmount. This PR can be used for testing only to avoid contracts redeployment as there is no real need for user to know how much bad debt can be settled through reserves at the time of settlement.Tasks