December 29, 2023

[aviggiano]

December 29, 2023

• Created invariant tests boilerplate for Foundry/Echidna/Medusa, although Medusa still does not support external libraries. Current list of invariants: https://github.com/SizeLending/size-v2-solidity/blob/main/test/invariants/Properties.sol
• Fine-tuned coverage for target functions: deposit, borrowAsMarketOrder, borrowAsLimitOrder, lendAsMarketOrder, lendAsLimitOrder, borrowerExit, repay, claim. Missing: liquidations & variable pool
• Discussed about potential gas optimization regarding the Loan struct. Currently, it is hosting parameters for both FOLs and SOLs, which is a waste of storage in all cases. The idea is to break these into two structs and instead of having a single Loan[] storage array, have two FOL[] and SOL[]