From c46d5bd91693ecbb2f811e9365cacde3a9291b1a Mon Sep 17 00:00:00 2001
From: Shebin John <admin@remedcu.com>
Date: Wed, 10 Jan 2024 16:01:55 +0530
Subject: [PATCH] Using harness patch to remove getTransactionHash(...) in
 ISafe

---
 certora/applyHarness.patch | 39 +++++++++++++++++++++++++++++++++++++-
 1 file changed, 38 insertions(+), 1 deletion(-)

diff --git a/certora/applyHarness.patch b/certora/applyHarness.patch
index 77c798a46..773ace1ca 100644
--- a/certora/applyHarness.patch
+++ b/certora/applyHarness.patch
@@ -33,7 +33,7 @@ diff -druN Safe.sol Safe.sol
          address refundReceiver,
          uint256 _nonce
 -    ) public view override returns (bytes32) {
-+    ) internal view override returns (bytes32) {
++    ) internal view returns (bytes32) {
 +        // MUNGED: The function was made internal to enable CVL summaries.
          return keccak256(encodeTransactionData(to, value, data, operation, safeTxGas, baseGas, gasPrice, gasToken, refundReceiver, _nonce));
      }
@@ -56,3 +56,40 @@ diff -druN base/Executor.sol base/Executor.sol
          } else {
              /* solhint-disable no-inline-assembly */
              /// @solidity memory-safe-assembly
+diff -druN interfaces/ISafe.sol interfaces/ISafe.sol
+--- interfaces/ISafe.sol	2024-01-10 15:36:01
++++ interfaces/ISafe.sol	2024-01-10 15:55:55
+@@ -110,33 +110,6 @@
+     function domainSeparator() external view returns (bytes32);
+ 
+     /**
+-     * @notice Returns transaction hash to be signed by owners.
+-     * @param to Destination address.
+-     * @param value Ether value.
+-     * @param data Data payload.
+-     * @param operation Operation type.
+-     * @param safeTxGas Gas that should be used for the safe transaction.
+-     * @param baseGas Gas costs for data used to trigger the safe transaction.
+-     * @param gasPrice Maximum gas price that should be used for this transaction.
+-     * @param gasToken Token address (or 0 if ETH) that is used for the payment.
+-     * @param refundReceiver Address of receiver of gas payment (or 0 if tx.origin).
+-     * @param _nonce Transaction nonce.
+-     * @return Transaction hash.
+-     */
+-    function getTransactionHash(
+-        address to,
+-        uint256 value,
+-        bytes calldata data,
+-        Enum.Operation operation,
+-        uint256 safeTxGas,
+-        uint256 baseGas,
+-        uint256 gasPrice,
+-        address gasToken,
+-        address refundReceiver,
+-        uint256 _nonce
+-    ) external view returns (bytes32);
+-
+-    /**
+      * @dev External getter function for state variables.
+      */
+     // solhint-disable-next-line