From 60f65086aeba34afa4b086c75ec57e6aa363b31b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= <38285177+OlivierBBB@users.noreply.github.com> Date: Fri, 6 Dec 2024 16:34:09 +0700 Subject: [PATCH] `SELFDESTRUCT` offset correction for account undoing operation (#537) --- .../instruction-handling/halting/selfdestruct.lisp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/hub/constraints/instruction-handling/halting/selfdestruct.lisp b/hub/constraints/instruction-handling/halting/selfdestruct.lisp index 4058f388..31b6315f 100644 --- 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))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;