checkpoint

.github/workflows/ci.yml

@@ -124,35 +124,35 @@ jobs:
                     echo "✅ Passed or warnings found" >> $GITHUB_STEP_SUMMARY
                   fi
 
-    slither-analyze:
-        runs-on: "ubuntu-latest"
-        permissions:
-            actions: "read"
-            contents: "read"
-            security-events: "write"
-        steps:
-            - name: "Check out the repo"
-              uses: "actions/checkout@v4"
-
-            - name: "Install Bun"
-              uses: "oven-sh/setup-bun@v1"
-
-            - name: "Install the Node.js dependencies"
-              run: "bun install"
-
-            - name: "Run Slither analysis"
-              uses: "crytic/[email protected]"
-              id: "slither"
-              with:
-                  fail-on: "none"
-                  sarif: "results.sarif"
-
-            - name: "Upload SARIF file to GitHub code scanning"
-              uses: "github/codeql-action/upload-sarif@v2"
-              with:
-                  sarif_file: ${{ steps.slither.outputs.sarif }}
-
-            - name: "Add summary"
-              run: |
-                  echo "## Slither result" >> $GITHUB_STEP_SUMMARY
-                  echo "✅ Uploaded to GitHub code scanning" >> $GITHUB_STEP_SUMMARY
+    # slither-analyze:
+    #     runs-on: "ubuntu-latest"
+    #     permissions:
+    #         actions: "read"
+    #         contents: "read"
+    #         security-events: "write"
+    #     steps:
+    #         - name: "Check out the repo"
+    #           uses: "actions/checkout@v4"
+
+    #         - name: "Install Bun"
+    #           uses: "oven-sh/setup-bun@v1"
+
+    #         - name: "Install the Node.js dependencies"
+    #           run: "bun install"
+
+    #         - name: "Run Slither analysis"
+    #           uses: "crytic/[email protected]"
+    #           id: "slither"
+    #           with:
+    #               fail-on: "none"
+    #               sarif: "results.sarif"
+
+    #         - name: "Upload SARIF file to GitHub code scanning"
+    #           uses: "github/codeql-action/upload-sarif@v2"
+    #           with:
+    #               sarif_file: ${{ steps.slither.outputs.sarif }}
+
+    #         - name: "Add summary"
+    #           run: |
+    #               echo "## Slither result" >> $GITHUB_STEP_SUMMARY
+    #               echo "✅ Uploaded to GitHub code scanning" >> $GITHUB_STEP_SUMMARY

test/DelegateStaking.t.sol

@@ -454,6 +454,7 @@ contract Stake is DelegateStakingTest {
         uint256 _amount,
         uint256 _jump
     ) public {
+        vm.assume(_depositor1 != _depositor2);
         _amount = _boundToRealisticStake(_amount);
 
         _jump = _boundRealisticTimeAhead(_jump);

test/Staking.t.sol

@@ -844,7 +844,7 @@ contract ClaimRewards is StakingTest {
         assertApproxEqAbs(rewards, expectedRewards, 1e18, "Wrong rewards");
     }
 
-    function testFuzz_claimRewardBurnShares(
+    function testFuzz_ClaimRewardBurnShares(
         address _depositor,
         uint256 _amount,
         uint256 _jump