fix script to use correct remapping and remove double forward-slash b…

…ehavior from YAML file
Layr-Labs · Oct 23, 2023 · a91ec69 · a91ec69
1 parent e6703d2
commit a91ec69
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/certora-prover.yml b/.github/workflows/certora-prover.yml
@@ -18,7 +18,7 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - id: set-matrix
-        run: echo ::set-output name=matrix::$(ls certora/scripts/{,**}/*.sh | grep -v '\WnoCI\W' | jq -Rsc 'split("\n")[:-1]')
+        run: echo ::set-output name=matrix::$(ls certora/scripts{,**}/*.sh | grep -v '\WnoCI\W' | jq -Rsc 'split("\n")[:-1]')
   verify:
     runs-on: ubuntu-latest
     needs: list-scripts

diff --git a/certora/scripts/verifyBLSRegistryCoordinatorWithIndices.sh b/certora/scripts/verifyBLSRegistryCoordinatorWithIndices.sh
@@ -15,7 +15,7 @@ certoraRun certora/harnesses/BLSRegistryCoordinatorWithIndicesHarness.sol \
     --prover_args '-optimisticFallback true -recursionEntryLimit 2 ' \
     $RULE \
     --loop_iter 2 \
-    --packages @openzeppelin=lib/eigenlayer-contracts/lib/openzeppelin-contracts @openzeppelin-upgrades=lib/eigenlayer-contracts/lib/openzeppelin-contracts-upgradeable \
+    --packages @openzeppelin=lib/eigenlayer-contracts/lib/openzeppelin-contracts @openzeppelin-upgrades=lib/eigenlayer-contracts/lib/openzeppelin-contracts-upgradeable eigenlayer-contracts=lib/eigenlayer-contracts \
     --msg "BLSRegistryCoordinatorWithIndices $1 $2" \
 
 # TODO: import a ServiceManager contract
diff --git a/lib/eigenlayer-contracts b/lib/eigenlayer-contracts
+1 −3		.env.example
+13 −5		docs/README.md
+11 −122		docs/core/EigenPodManager.md
+144 −286		package-lock.json
+1 −6		package.json
+0 −539		script/milestone/M2Deploy.s.sol
+119 −0		script/milestone/M2Deploy.sol
+0 −19		script/output/M2_deployment_data_goerli.json
+6 −1		script/testing/M2_Deploy_From_Scratch.s.sol
+0 −23		script/upgrade/README.md
+0 −262		script/upgrade/validateStorage.ts
+0 −75		script/upgrade/validateUpgrade.sh
+8 −4		script/whitelist/Whitelister.sol
+7 −3		script/whitelist/delegationFaucet/DelegationFaucet.sol
+21 −24		src/contracts/core/DelegationManager.sol
+3 −1		src/contracts/interfaces/IDelegationFaucet.sol
+6 −16		src/contracts/interfaces/IDelegationManager.sol
+6 −6		src/contracts/interfaces/IEigenPod.sol
+0 −7		src/contracts/interfaces/IEigenPodManager.sol
+0 −3		src/contracts/interfaces/IStrategyManager.sol
+3 −1		src/contracts/interfaces/IWhitelister.sol
+70 −96		src/contracts/pods/EigenPod.sol
+3 −9		src/test/DelegationFaucet.t.sol
+2 −11		src/test/DepositWithdraw.t.sol
+6 −11		src/test/EigenLayerTestHelper.t.sol
+32 −53		src/test/EigenPod.t.sol
+61 −0		src/test/SigP/BeaconProxy.sol
+46 −0		src/test/SigP/DelegationTerms.sol
+219 −0		src/test/SigP/EigenPodManagerNEW.sol
+5 −5		src/test/mocks/DelegationManagerMock.sol
+0 −4		src/test/mocks/EigenPodManagerMock.sol
+33 −4		src/test/mocks/EigenPodMock.sol
+0 −1		src/test/mocks/StrategyManagerMock.sol
+28 −88		src/test/unit/DelegationUnit.t.sol
+10 −21		src/test/unit/EigenPodUnit.t.sol
+1 −21		src/test/utils/EigenPodHarness.sol
+0 −11		tsconfig.json