certora applyHarness update

safe-global · Dec 5, 2023 · 24d5abe · 24d5abe
1 parent c85784a
commit 24d5abe
Showing 1 changed file with 18 additions and 3 deletions.
diff --git a/certora/applyHarness.patch b/certora/applyHarness.patch
@@ -1,6 +1,6 @@
 diff -druN Safe.sol Safe.sol
 --- Safe.sol	2023-12-05 16:23:27
-+++ Safe.sol	2023-12-05 19:49:10
++++ Safe.sol	2023-12-05 21:15:44
 @@ -76,7 +76,7 @@
           * so we create a Safe with 0 owners and threshold 1.
           * This is an unusable Safe, perfect for the singleton
@@ -41,9 +41,24 @@ diff -druN Safe.sol Safe.sol
          return keccak256(encodeTransactionData(to, value, data, operation, safeTxGas, baseGas, gasPrice, gasToken, refundReceiver, _nonce));
      }
  }
+diff -druN base/Executor.sol base/Executor.sol
+--- base/Executor.sol	2023-12-05 16:20:21
++++ base/Executor.sol	2023-12-05 21:16:46
+@@ -29,8 +29,10 @@
+             /* solhint-disable no-inline-assembly */
+             /// @solidity memory-safe-assembly
+             assembly ("memory-safe") {
+-                success := delegatecall(txGas, to, add(data, 0x20), mload(data), 0, 0)
++                // success := delegatecall(txGas, to, add(data, 0x20), mload(data), 0, 0)
++                // MUNGED: lets be optimistic and assume execute does nothing for DELEGATECALL
+             }
++            return true;
+             /* solhint-enable no-inline-assembly */
+         } else {
+             /* solhint-disable no-inline-assembly */
 diff -druN base/Executor.sol.orig base/Executor.sol.orig
 --- base/Executor.sol.orig	1970-01-01 05:30:00
-+++ base/Executor.sol.orig	2023-12-05 19:49:10
++++ base/Executor.sol.orig	2023-12-05 21:15:44
 @@ -0,0 +1,44 @@
 +// SPDX-License-Identifier: LGPL-3.0-only
 +pragma solidity >=0.7.0 <0.9.0;
@@ -91,7 +106,7 @@ diff -druN base/Executor.sol.orig base/Executor.sol.orig
 +}
 diff -druN base/Executor.sol.rej base/Executor.sol.rej
 --- base/Executor.sol.rej	1970-01-01 05:30:00
-+++ base/Executor.sol.rej	2023-12-05 19:49:10
++++ base/Executor.sol.rej	2023-12-05 21:15:44
 @@ -0,0 +1,15 @@
 +@@ -26,12 +26,8 @@
 +         uint256 txGas