cleanup: remove obsolete remappings (#81)

aave-dao · Nov 27, 2024 · be37b99 · be37b99
1 parent 58e60a2
commit be37b99
Show file tree

Hide file tree

Showing 7 changed files with 6 additions and 20 deletions.
diff --git a/certora/stata/conf/verifyDoubleClaim.conf b/certora/stata/conf/verifyDoubleClaim.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/core",
-  //   "aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -37,4 +35,4 @@
   "loop_iter": "2",
   "optimistic_hashing": true,
   "build_cache": true,
-}
+}
diff --git a/certora/stata/conf/verifyERC4626.conf b/certora/stata/conf/verifyERC4626.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/contracts",
-//     "aave-v3-periphery/=certora/stata/munged/src/contracts/extensions",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -37,4 +35,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
+}
diff --git a/certora/stata/conf/verifyERC4626DepositSummarization.conf b/certora/stata/conf/verifyERC4626DepositSummarization.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/core",
-//     "aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -36,4 +34,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
+}
diff --git a/certora/stata/conf/verifyERC4626Extended.conf b/certora/stata/conf/verifyERC4626Extended.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/core",
- //    "aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -37,4 +35,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
+}
diff --git a/certora/stata/conf/verifyERC4626MintDepositSummarization.conf b/certora/stata/conf/verifyERC4626MintDepositSummarization.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-     //"aave-v3-core/=certora/stata/munged/src/core",
-     //"aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -38,4 +36,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
+}
diff --git a/certora/stata/conf/verifyStataToken.conf b/certora/stata/conf/verifyStataToken.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/core",
-  //   "aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -37,4 +35,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
+}
diff --git a/remappings.txt b/remappings.txt
@@ -1,5 +1,3 @@
-aave-v3-core/=src/core/
-aave-v3-periphery/=src/periphery/
 solidity-utils/=lib/solidity-utils/src/
 forge-std/=lib/forge-std/src/
 ds-test/=lib/forge-std/lib/ds-test/src/