point CI to updated ef-tests

kkrt-labs · May 2, 2024 · 836b7f3 · 836b7f3
1 parent f763073
commit 836b7f3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git 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
@@ -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);