Updated harness patch

safe-global · Jan 8, 2024 · 0bdca8a · 0bdca8a
1 parent 9740605
commit 0bdca8a
Showing 1 changed file with 8 additions and 12 deletions.
diff --git a/certora/applyHarness.patch b/certora/applyHarness.patch
@@ -1,6 +1,6 @@
 diff -druN Safe.sol Safe.sol
 --- Safe.sol	2024-01-05 18:53:19
-+++ Safe.sol	2024-01-08 13:01:26
++++ Safe.sol	2024-01-08 14:58:16
 @@ -76,7 +76,7 @@
           * so we create a Safe with 0 owners and threshold 1.
           * This is an unusable Safe, perfect for the singleton
@@ -43,17 +43,13 @@ diff -druN Safe.sol Safe.sol
  }
 diff -druN base/Executor.sol base/Executor.sol
 --- base/Executor.sol	2024-01-05 18:53:19
-+++ base/Executor.sol	2024-01-08 13:03:10
-@@ -29,8 +29,10 @@
-             /* solhint-disable no-inline-assembly */
-             /// @solidity memory-safe-assembly
-             assembly {
--                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 and always returns true
-+             }
-+            return true;
++++ base/Executor.sol	2024-01-08 15:01:40
+@@ -32,6 +32,8 @@
+                 success := delegatecall(txGas, to, add(data, 0x20), mload(data), 0, 0)
+             }
              /* solhint-enable no-inline-assembly */
++            // MUNGED lets just be a bit more optimistic, `execute` does nothing for `DELEGATECALL` and always returns true
++            return true;
          } else {
              /* solhint-disable no-inline-assembly */
+             /// @solidity memory-safe-assembly