MathisGD

Run tests with other reserve factor values

1

Trying this quickly, I have failing tests. See an example in #1320.

Research delta > p2pAmount

1

The delta can be greater than the p2pAmount, if the rates are natively interted (stable borrow, flashloan). We need to make sure that it does not break anything.

Test the testing suite with mutations

6

Using https://github.com/Certora/gambit

DLL: use address(0) instead of head and tail

3

POC here: https://github.com/morpho-dao/morpho-v1/pull/1255

After #447

Given the missed dependencies (and renaming) in the graph, I'm thinking that a solution where they appear in a text form would be more tractable. Something like [this](https://github.com/morpho-org/metamorpho/tree/main/certora#specification-imports-graph) for example....

the default chain tested is supposed to the ethereum, but it's not working because the tests are skipped before the chain is changed in ForkTest.setUp()

For the next version of the EthereumBundler, we could make sure that variables are passed as argument in order to not even need the sepolia bundler

Right now (after #430), `forge t` runs tests on Ethereum only. That's a bit dangerous, ideally it runs tests on all the relevant chains.