dev: use modified tests for rip7212 compat (#713) (#714)

Author: enitrat

crates/ef-testing/src/evm_sequencer/account/v0.rs

@@ -8,8 +8,8 @@ use starknet_crypto::FieldElement;
 
 use super::{split_bytecode_to_starkfelt, KakarotAccount};
 use crate::evm_sequencer::constants::storage_variables::{
-    ACCOUNT_BYTECODE_LEN, ACCOUNT_EVM_ADDRESS, ACCOUNT_IS_INITIALIZED, ACCOUNT_NONCE,
-    ACCOUNT_STORAGE, ACCOUNT_VALID_JUMPDESTS,
+    ACCOUNT_BYTECODE_LEN, ACCOUNT_EVM_ADDRESS, ACCOUNT_IS_INITIALIZED,
+    ACCOUNT_JUMPDESTS_INITIALIZED, ACCOUNT_NONCE, ACCOUNT_STORAGE, ACCOUNT_VALID_JUMPDESTS,
 };
 use crate::evm_sequencer::{types::felt::FeltSequencer, utils::split_u256};
 use crate::starknet_storage;
@@ -35,6 +35,7 @@ impl KakarotAccount {
             starknet_storage!(ACCOUNT_EVM_ADDRESS, evm_address),
             starknet_storage!(ACCOUNT_IS_INITIALIZED, 1u8),
             starknet_storage!(ACCOUNT_BYTECODE_LEN, code.len() as u32),
+            starknet_storage!(ACCOUNT_JUMPDESTS_INITIALIZED, 1u8),
         ];
 
         // Write the nonce of the account is written to storage after each tx.

crates/ef-testing/src/evm_sequencer/constants.rs

@@ -111,6 +111,7 @@ pub mod storage_variables {
     pub const ACCOUNT_IMPLEMENTATION: &str = "Account_implementation";
     pub const ACCOUNT_CAIRO1_HELPERS_CLASS: &str = "Account_cairo1_helpers_class_hash";
     pub const ACCOUNT_VALID_JUMPDESTS : &str = "Account_valid_jumpdests";
+    pub const ACCOUNT_JUMPDESTS_INITIALIZED : &str = "Account_jumpdests_initialized";
 
     pub const KAKAROT_COINBASE: &str = "Kakarot_coinbase";
     pub const KAKAROT_BASE_FEE: &str = "Kakarot_base_fee";