test: fix certora

README.md

@@ -2,7 +2,7 @@
 
 > [!NOTE]  
 > This repo is a fork of [metamorpho](https://github.com/morpho-org/metamorpho), with 3 changes:
-> - this MetaMorpho vault does not realize the bad debt (more on this [here](https://github.com/morpho-org/metamorpho-no-bad-debt-realization/blob/d16ecfed0da4b4c51ed65c2eba865f5623c2242b/src/interfaces/IMetaMorpho.sol#L81));
+> - this MetaMorpho vault does not realize the bad debt (more on this [here](https://github.com/morpho-org/metamorpho-no-bad-debt-realization/blob/d16ecfed0da4b4c51ed65c2eba865f5623c2242b/src/interfaces/IMetaMorphoV1_1.sol#L81));
 > - the timelock can be set to zero at deployment;
 > - the name and symbol are mutable.
 
@@ -16,9 +16,9 @@ Users of MetaMorpho are liquidity providers who want to earn from borrowing inte
 The active management of the deposited assets is the responsibility of a set of different roles (owner, curator and allocators).
 These roles are primarily responsible for enabling and disabling markets on Morpho Blue and managing the allocation of users’ funds.
 
-[`MetaMorpho`](./src/MetaMorpho.sol) vaults are [ERC-4626](https://eips.ethereum.org/EIPS/eip-4626) vaults, with ([ERC-2612](https://eips.ethereum.org/EIPS/eip-2612)) permit.
+[`MetaMorphoV1_1`](./src/MetaMorphoV1_1.sol) vaults are [ERC-4626](https://eips.ethereum.org/EIPS/eip-4626) vaults, with ([ERC-2612](https://eips.ethereum.org/EIPS/eip-2612)) permit.
 One MetaMorpho vault is related to one loan asset on Morpho Blue.
-The [`MetaMorphoFactory`](./src/MetaMorphoFactory.sol) is deploying immutable onchain instances of MetaMorpho vaults.
+The [`MetaMorphoV1_1Factory`](./src/MetaMorphoV1_1Factory.sol) is deploying immutable onchain instances of MetaMorpho vaults.
 
 Users can supply or withdraw assets at any time, depending on the available liquidity on Morpho Blue.
 A maximum of 30 markets can be enabled on a given MetaMorpho vault.

certora/applyMunging.patch

@@ -47,9 +47,9 @@ diff -ruN libraries/EventsLib.sol libraries/EventsLib.sol
 
  import {PendingAddress} from "./PendingLib.sol";
 
-diff -ruN MetaMorpho.sol MetaMorpho.sol
---- MetaMorpho.sol	2024-09-04 10:44:33.985829466 +0200
-+++ MetaMorpho.sol	2024-09-04 10:44:42.497695457 +0200
+diff -ruN MetaMorphoV1_1.sol MetaMorphoV1_1.sol
+--- MetaMorphoV1_1.sol	2024-09-04 10:44:33.985829466 +0200
++++ MetaMorphoV1_1.sol	2024-09-04 10:44:42.497695457 +0200
 @@ -9,24 +9,22 @@
      IMetaMorphoV1_1Base,
      IMetaMorphoV1_1StaticTyping

certora/gambit.conf

@@ -1,5 +1,5 @@
  {
-      "filename" : "../src/MetaMorpho.sol",
+      "filename" : "../src/MetaMorphoV1_1.sol",
       "sourceroot": "..",
       "num_mutants": 15,
       "solc_remappings": []

certora/helpers/ERC20Helper.sol

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: GPL-2.0-or-later
 pragma solidity 0.8.26;
 
-import {IERC20, SafeERC20} from "../munged/MetaMorpho.sol";
+import {IERC20, SafeERC20} from "../munged/MetaMorphoV1_1.sol";
 
 contract ERC20Helper {
     using SafeERC20 for IERC20;

certora/helpers/MetaMorphoHarness.sol

@@ -3,7 +3,7 @@ pragma solidity 0.8.26;
 
 import {
     Math, MetaMorpho, Id, ConstantsLib, PendingUint192, PendingAddress, MarketConfig
-} from "../munged/MetaMorpho.sol";
+} from "../munged/MetaMorphoV1_1.sol";
 
 contract MetaMorphoHarness is MetaMorpho {
     constructor(

test/forge/helpers/IntegrationTest.sol

@@ -52,7 +52,7 @@ contract IntegrationTest is BaseTest {
         string memory symbol
     ) public returns (IMetaMorphoV1_1) {
         return IMetaMorphoV1_1(
-            deployCode("MetaMorpho.sol", abi.encode(owner, morpho, initialTimelock, asset, name, symbol))
+            deployCode("MetaMorphoV1_1.sol", abi.encode(owner, morpho, initialTimelock, asset, name, symbol))
         );
     }