From 0e487487b063e73a99e8d08fb59638d10707298d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= Date: Fri, 6 Dec 2024 14:35:02 +0700 Subject: [PATCH 1/2] ras: formatting --- .../instruction-handling/halting/selfdestruct.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hub/constraints/instruction-handling/halting/selfdestruct.lisp b/hub/constraints/instruction-handling/halting/selfdestruct.lisp index 4058f388..d640c55f 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)))) From 00940be0e9fff22a4db8ce496db7c9ec649f7674 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= Date: Fri, 6 Dec 2024 14:35:43 +0700 Subject: [PATCH 2/2] fix: SUB stamp of reverting SD's --- hub/constraints/instruction-handling/halting/selfdestruct.lisp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hub/constraints/instruction-handling/halting/selfdestruct.lisp b/hub/constraints/instruction-handling/halting/selfdestruct.lisp index d640c55f..31b6315f 100644 --- a/hub/constraints/instruction-handling/halting/selfdestruct.lisp +++ b/hub/constraints/instruction-handling/halting/selfdestruct.lisp @@ -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))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;