fix: certora scripts

Layr-Labs · Jan 30, 2025 · c93657e · c93657e
1 parent 44806d3
commit c93657e
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/foundry.yml b/.github/workflows/foundry.yml
@@ -109,7 +109,7 @@ jobs:
   # -----------------------------------------------------------------------
 
   storage-diff:
-    name: Test (Upgrade)
+    name: Test (Storage)
     runs-on: ubuntu-latest
     steps:
       # Check out repository with all submodules for complete codebase access.

diff --git a/certora/scripts/core/verifyDelegationManager.sh b/certora/scripts/core/verifyDelegationManager.sh
@@ -6,7 +6,7 @@ fi
 solc-select use 0.8.27
 
 certoraRun certora/harnesses/DelegationManagerHarness.sol \
-    lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol lib/openzeppelin-contracts/contracts/mocks/ERC1271WalletMock.sol \
+    lib/openzeppelin-contracts-v4.9.0/contracts/token/ERC20/ERC20.sol lib/openzeppelin-contracts-v4.9.0/contracts/mocks/ERC1271WalletMock.sol \
     src/contracts/pods/EigenPodManager.sol src/contracts/pods/EigenPod.sol src/contracts/strategies/StrategyBase.sol src/contracts/core/StrategyManager.sol \
     src/contracts/permissions/PauserRegistry.sol \
     --verify DelegationManagerHarness:certora/specs/core/DelegationManager.spec \

diff --git a/certora/scripts/core/verifyStrategyManager.sh b/certora/scripts/core/verifyStrategyManager.sh
@@ -6,7 +6,7 @@ fi
 solc-select use 0.8.27
 
 certoraRun certora/harnesses/StrategyManagerHarness.sol \
-    lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol lib/openzeppelin-contracts/contracts/mocks/ERC1271WalletMock.sol \
+    lib/openzeppelin-contracts-v4.9.0/contracts/token/ERC20/ERC20.sol lib/openzeppelin-contracts-v4.9.0/contracts/mocks/ERC1271WalletMock.sol \
     src/contracts/pods/EigenPodManager.sol src/contracts/pods/EigenPod.sol \
     src/contracts/strategies/StrategyBase.sol src/contracts/core/DelegationManager.sol \
     src/contracts/permissions/PauserRegistry.sol \

diff --git a/certora/scripts/pods/verifyEigenPod.sh b/certora/scripts/pods/verifyEigenPod.sh
@@ -10,8 +10,8 @@ fi
 #     src/contracts/permissions/PauserRegistry.sol \
 #     src/contracts/core/StrategyManager.sol \
 #     src/contracts/strategies/StrategyBase.sol \
-#     lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol \
-#     lib/openzeppelin-contracts/contracts/mocks/ERC1271WalletMock.sol \
+#     lib/openzeppelin-contracts-v4.9.0/contracts/token/ERC20/ERC20.sol \
+#     lib/openzeppelin-contracts-v4.9.0/contracts/mocks/ERC1271WalletMock.sol \
 #     --verify EigenPodHarness:certora/specs/pods/EigenPod.spec \
 #     --optimistic_loop \
 #     --prover_args '-recursionEntryLimit 3' \

diff --git a/certora/scripts/strategies/verifyStrategyBase.sh b/certora/scripts/strategies/verifyStrategyBase.sh
@@ -6,7 +6,7 @@ fi
 solc-select use 0.8.27
 
 certoraRun src/contracts/strategies/StrategyBase.sol \
-    lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol \
+    lib/openzeppelin-contracts-v4.9.0/contracts/token/ERC20/ERC20.sol \
     src/contracts/core/StrategyManager.sol \
     src/contracts/permissions/PauserRegistry.sol \
     --verify StrategyBase:certora/specs/strategies/StrategyBase.spec \