Comment Update

safe-global · Jul 16, 2024 · 3df8b0c · 3df8b0c
1 parent 636e169
commit 3df8b0c
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/modules/4337/certora/harnesses/Account.sol b/modules/4337/certora/harnesses/Account.sol
@@ -63,12 +63,11 @@ contract Account is Safe {
     "0000000000000000000000000000000000000000000000000000000000000001 0000000000000000000000000000000000000000000000000000000000000041 00" + // encoded EIP-1271 signature 1
     "0000000000000000000000000000000000000000000000000000000000000004 deadbeef"                                                              // length of bytes + data of bytes of signature 1
 
-    0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000041000000000000000000000000000000000000000000000000000000000000000004deadbeef
-
     With Excess Data:
     "0x" +
     "0000000000000000000000000000000000000000000000000000000000000001 0000000000000000000000000000000000000000000000000000000000000041 00" + // encoded EIP-1271 signature 1
-    "0000000000000000000000000000000000000000000000000000000000000004 deadbeefdeadbeef"                                                      // length of bytes + data of bytes of signature 1 + excess data
+    "0000000000000000000000000000000000000000000000000000000000000004 deadbeef"                                                              // length of bytes + data of bytes of signature 1
+    "ffffff"                                                                                                                                 // excess data
 
     Both will have the same canonical hash: 0xc860b1a81652620308a8138a17ef5105d9b18e6e766516ffd3de9897260d1320
     */