SELFDESTRUCT offset correction for account undoing operation (#537)

Consensys · Dec 6, 2024 · 60f6508 · 60f6508
1 parent e5d2df7
commit 60f6508
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/hub/constraints/instruction-handling/halting/selfdestruct.lisp b/hub/constraints/instruction-handling/halting/selfdestruct.lisp
@@ -172,8 +172,8 @@
 
 (defconstraint    selfdestruct-instruction---returning-empty-return-data (:guard (selfdestruct-instruction---scenario-precondition))
                   (begin
-                    (if-not-zero   (selfdestruct-instruction---STATICX)                             (execution-provides-empty-return-data 2))
-                    (if-not-zero   (selfdestruct-instruction---OOGX)                                (execution-provides-empty-return-data 4))
+                    (if-not-zero   (selfdestruct-instruction---STATICX)               (execution-provides-empty-return-data 2))
+                    (if-not-zero   (selfdestruct-instruction---OOGX)                  (execution-provides-empty-return-data 4))
                     (if-not-zero   scenario/SELFDESTRUCT_WILL_REVERT                  (execution-provides-empty-return-data 6))
                     (if-not-zero   scenario/SELFDESTRUCT_WONT_REVERT_ALREADY_MARKED   (execution-provides-empty-return-data 4))
                     (if-not-zero   scenario/SELFDESTRUCT_WONT_REVERT_NOT_YET_MARKED   (execution-provides-empty-return-data 5))))
@@ -324,7 +324,7 @@
                     (account-undo-code-update                    ROFF_SELFDESTRUCT___ACCOUNT___2ND_UNDOING_ROW      ROFF_SELFDESTRUCT___ACCOUNT___2ND_DOING_ROW)
                     (account-undo-deployment-status-update       ROFF_SELFDESTRUCT___ACCOUNT___2ND_UNDOING_ROW      ROFF_SELFDESTRUCT___ACCOUNT___2ND_DOING_ROW)
                     (account-same-marked-for-selfdestruct        ROFF_SELFDESTRUCT___ACCOUNT___2ND_UNDOING_ROW)
-                    (DOM-SUB-stamps---revert-with-current        ROFF_SELFDESTRUCT___ACCOUNT___2ND_UNDOING_ROW 2)))
+                    (DOM-SUB-stamps---revert-with-current        ROFF_SELFDESTRUCT___ACCOUNT___2ND_UNDOING_ROW 3)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                                      ;;