bugfix: Mark program extra data as accessed

src/execution/execution_entry_point.rs

@@ -501,6 +501,10 @@ impl ExecutionEntryPoint {
             Some(program.data_len() + program_extra_data.len()),
         )?;
 
+        runner
+            .vm
+            .mark_address_range_as_accessed(core_program_end_ptr, program_extra_data.len())?;
+
         runner.validate_and_process_os_context(os_context)?;
 
         // When execution starts the stack holds entry_points_args + [ret_fp, ret_pc].

tests/cairo_1_syscalls.rs

@@ -256,15 +256,15 @@ fn library_call() {
         n_steps: 255,
         #[cfg(feature = "cairo_1_tests")]
         n_steps: 259,
-        n_memory_holes: 10,
+        n_memory_holes: 8,
         builtin_instance_counter: HashMap::from([(RANGE_CHECK_BUILTIN_NAME.to_string(), 12)]),
     };
     let expected_execution_resources_internal_call = ExecutionResources {
         #[cfg(not(feature = "cairo_1_tests"))]
         n_steps: 84,
         #[cfg(feature = "cairo_1_tests")]
         n_steps: 85,
-        n_memory_holes: 6,
+        n_memory_holes: 5,
         builtin_instance_counter: HashMap::from([(RANGE_CHECK_BUILTIN_NAME.to_string(), 7)]),
     };
 
@@ -1130,7 +1130,7 @@ fn test_send_message_to_l1_syscall() {
 
     let expected_execution_resources = ExecutionResources {
         n_steps: 50,
-        n_memory_holes: 1,
+        n_memory_holes: 0,
         builtin_instance_counter: HashMap::from([(RANGE_CHECK_BUILTIN_NAME.to_string(), 2)]),
     };
 
@@ -1237,7 +1237,7 @@ fn test_get_execution_info() {
 
     let expected_execution_resources = ExecutionResources {
         n_steps: 268,
-        n_memory_holes: 5,
+        n_memory_holes: 4,
         builtin_instance_counter: HashMap::from([(RANGE_CHECK_BUILTIN_NAME.to_string(), 4)]),
     };
 

tests/deploy_account.rs

@@ -195,7 +195,7 @@ fn internal_deploy_account_cairo1() {
                     n_steps: 152,
                     #[cfg(feature="cairo_1_tests")]
                     n_steps: 155,
-                    n_memory_holes: 18,
+                    n_memory_holes: 17,
                     builtin_instance_counter:
                     [
                     ("range_check_builtin", 2),
@@ -230,7 +230,7 @@ fn internal_deploy_account_cairo1() {
                     n_steps: 92,
                     #[cfg(feature="cairo_1_tests")]
                     n_steps: 93,
-                    n_memory_holes: 1,
+                    n_memory_holes: 0,
                     builtin_instance_counter:
                     [
                         ("range_check_builtin", 2),

tests/fibonacci.rs

@@ -199,7 +199,7 @@ fn integration_test_cairo1() {
         retdata: [144.into()].to_vec(),
         execution_resources: ExecutionResources {
             n_steps: 418,
-            n_memory_holes: 1,
+            n_memory_holes: 0,
             builtin_instance_counter: HashMap::from([(RANGE_CHECK_BUILTIN_NAME.to_string(), 15)]),
         },
         class_hash: Some(class_hash),

tests/internals.rs

@@ -962,7 +962,7 @@ fn expected_fib_execute_call_info() -> CallInfo {
             n_steps: 157,
             #[cfg(feature = "cairo_1_tests")]
             n_steps: 160,
-            n_memory_holes: 1,
+            n_memory_holes: 0,
             builtin_instance_counter: HashMap::from([("range_check_builtin".to_string(), 4)]),
         },
         l2_to_l1_messages: vec![],
@@ -988,7 +988,7 @@ fn expected_fib_execute_call_info() -> CallInfo {
                 n_steps: 118,
                 #[cfg(feature = "cairo_1_tests")]
                 n_steps: 121,
-                n_memory_holes: 1,
+                n_memory_holes: 0,
                 builtin_instance_counter: HashMap::from([("range_check_builtin".to_string(), 3)]),
             },
             ..Default::default()
@@ -1826,7 +1826,7 @@ fn test_library_call_with_declare_v2() {
             n_steps: 368,
             #[cfg(feature = "cairo_1_tests")]
             n_steps: 371,
-            n_memory_holes: 1,
+            n_memory_holes: 0,
             builtin_instance_counter: HashMap::from([("range_check_builtin".to_string(), 13)]),
         },
         ..Default::default()
@@ -1850,7 +1850,7 @@ fn test_library_call_with_declare_v2() {
             n_steps: 578,
             #[cfg(feature = "cairo_1_tests")]
             n_steps: 587,
-            n_memory_holes: 3,
+            n_memory_holes: 1,
             builtin_instance_counter: HashMap::from([("range_check_builtin".to_string(), 16)]),
         },
         internal_calls: vec![expected_internal_call_info],