Skip to content

Commit

Permalink
fix: typos in comments (#878)
Browse files Browse the repository at this point in the history
This PR focuses on correcting typos and improving clarity in comments.

Thank you very much.

Signed-off-by: oliveredget <[email protected]>
  • Loading branch information
oliveredget authored Jan 2, 2025
1 parent 4121b41 commit 3e8aa81
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion certora/specs/NativeTokenRefund.spec
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ rule nativeTokenRefundIsSentToRefundReceiver(
// and adding pre-requirements is tricky
// also, it shouldn't be the safe itself
require refundReceiver != 0 && refundReceiver != currentContract;
// // We're being optimistic about the delegatecall and in the munged contracts the actuall call was removed
// // We're being optimistic about the delegatecall and in the munged contracts the actual call was removed
// // So it's possible the gas used to be 0 in the munged contracts, so no refund would be sent (a counterexample)
// require operation == Enum.Operation.Call;
Expand Down
2 changes: 1 addition & 1 deletion tests_deprecated/utils/execution.js
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ let estimateBaseGas = function(safe, to, value, data, operation, txGasEstimate,
let baseGasEstimate = calcDataGasCosts(payload) + signatureCost + (nonce > 0 ? 5000 : 20000)
baseGasEstimate += 1500 // 1500 -> hash generation costs
baseGasEstimate += 1000 // 1000 -> Event emission
return baseGasEstimate + 32000; // Add aditional gas costs (e.g. base tx costs, transfer costs)
return baseGasEstimate + 32000; // Add additional gas costs (e.g. base tx costs, transfer costs)
}

let executeTransactionWithSigner = async function(signer, safe, subject, accounts, to, value, data, operation, executor, opts) {
Expand Down

0 comments on commit 3e8aa81

Please sign in to comment.