Suppress Slither false positives

keep-network · Jan 29, 2024 · 20c60b3 · 20c60b3
1 parent f40a560
commit 20c60b3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/solidity/contracts/integrator/TBTCDepositorProxy.sol b/solidity/contracts/integrator/TBTCDepositorProxy.sol
@@ -234,13 +234,15 @@ abstract contract TBTCDepositorProxy is Initializable {
         // allow to reveal the same deposit twice. Deleting the deposit from
         // the mapping will also prevent the finalizeDeposit function from
         // being called again for the same deposit.
+        // slither-disable-next-line reentrancy-no-eth
         delete pendingDeposits[depositKey];
 
         uint256 tbtcAmount = calculateTbtcAmount(
             deposit.amount,
             deposit.treasuryFee
         );
 
+        // slither-disable-next-line reentrancy-events
         emit DepositFinalized(
             depositKey,
             tbtcAmount,