morpho-blue
morpho-blue copied to clipboard
morpho-org
🟦 Morpho Blue Protocol
List all the additional steps we could follow to improve the formal verification work: - [x] **update to main**, notably taking into account the storage refactor (done in #373) -...
```log Mutation testing report: Number of mutations: 163 Killed: 124 / 163 Mutations: Mutation: File: /home/rubilmax/sites/morpho.xyz/morpho-blue/src/Morpho.sol Line nr: 245 Result: Lived Original line: _accrueInterest(marketParams, id); Mutated line: Mutation: File: /home/rubilmax/sites/morpho.xyz/morpho-blue/src/Morpho.sol...
Improve assets accounting specification so that we don't have to assume that supply, borrow, and supplyCollateral start with an empty position
Todo: - [ ] make sure that it goes through - [x] refactor the rule to align its style with the rest - [x] wait for it to pass on...