From 836b7f3565f9cda38b794295bf8c88f89c3026fc Mon Sep 17 00:00:00 2001 From: enitrat Date: Thu, 2 May 2024 11:12:07 +0200 Subject: [PATCH] point CI to updated ef-tests --- .github/workflows/ci.yml | 1 + src/kakarot/instructions/system_operations.cairo | 6 ++---- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5b450f5ef..0a96b2375 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -173,6 +173,7 @@ jobs: uses: actions/checkout@v4 with: repository: kkrt-labs/ef-tests + ref: feat/store-jumpdests - name: Checkout local skip file uses: actions/checkout@v4 with: diff --git a/src/kakarot/instructions/system_operations.cairo b/src/kakarot/instructions/system_operations.cairo index c810f7e56..fdc076f2c 100644 --- a/src/kakarot/instructions/system_operations.cairo +++ b/src/kakarot/instructions/system_operations.cairo @@ -1184,10 +1184,10 @@ namespace CallHelper { } tempvar authorized = new model.Option(is_some=0, value=0); + // Use the cached jumpdests from previous calls tempvar message = new model.Message( bytecode=code, bytecode_len=code_len, - // Use the cached jumpdests from previous calls valid_jumpdests_start=code_account.valid_jumpdests_start, valid_jumpdests=code_account.valid_jumpdests, calldata=calldata, @@ -1513,9 +1513,7 @@ namespace CreateHelper { let (valid_jumpdests_start, valid_jumpdests) = Helpers.initialize_jumpdests( account.code_len, account.code ); - let account = Account.set_valid_jumpdests( - account, valid_jumpdests_start, valid_jumpdests - ); + let account = Account.set_valid_jumpdests(account, valid_jumpdests_start, valid_jumpdests); // Update local state with the updated account inner pointers. State.update_account(account);