From eff06e74f33940945050bb5844e89f62321e80c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= Date: Fri, 6 Dec 2024 12:18:59 +0700 Subject: [PATCH] fix: use correct guard for two-step reverts --- .../create/constraints/reverting-two-step.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hub/constraints/instruction-handling/create/constraints/reverting-two-step.lisp b/hub/constraints/instruction-handling/create/constraints/reverting-two-step.lisp index 15413751..c49eb120 100644 --- a/hub/constraints/instruction-handling/create/constraints/reverting-two-step.lisp +++ b/hub/constraints/instruction-handling/create/constraints/reverting-two-step.lisp @@ -20,7 +20,7 @@ (defun (create-instruction---two-step-reverting-precondition) (* PEEK_AT_SCENARIO scenario/CREATE_NONEMPTY_INIT_CODE_FAILURE_WILL_REVERT)) -(defconstraint create-instruction---undoing-creator-account-operations-failure-will-revert-case (:guard (create-instruction---one-step-reverting-precondition)) +(defconstraint create-instruction---undoing-creator-account-operations-failure-will-revert-case (:guard (create-instruction---two-step-reverting-precondition)) (begin (account-same-address-as CREATE_third_creator_account_row___row_offset CREATE_first_creator_account_row___row_offset) (account-same-balance CREATE_third_creator_account_row___row_offset) @@ -35,7 +35,7 @@ (DOM-SUB-stamps---revert-with-current CREATE_third_creator_account_row___row_offset 2) )) -(defconstraint create-instruction---undoing-createe-account-operations-failure-will-revert-case (:guard (create-instruction---one-step-reverting-precondition)) +(defconstraint create-instruction---undoing-createe-account-operations-failure-will-revert-case (:guard (create-instruction---two-step-reverting-precondition)) (begin (account-same-address-as CREATE_third_createe_account_row___row_offset CREATE_first_createe_account_row___row_offset) (account-same-balance CREATE_third_createe_account_row___row_offset)