feat: implement VirtualMachine::is_accessed

[dorimedini-starkware]

Implement public API for is_accessed from Relocatable.

Description

When using the VM to run the Starknet OS, we require a public API to check if a cell is accessed (for segmented contract loading).

Checklist

• Linked to Github Issue
• Unit tests added
• Integration tests added.
• This change requires new documentation.
  • Documentation has been added/updated.
  • CHANGELOG has been updated.

[gabrielbosio]

Hi @dorimedini-starkware, this looks good but it would be great if you add why is this change necessary in the description of the PR

[dorimedini-starkware]

Hi @dorimedini-starkware, this looks good but it would be great if you add why is this change necessary in the description of the PR

Sure thing, done

[JulianGCalderon]

Hi @dorimedini-starkware. Could you add some tests for the new methods? The coverage job is failing: https://github.com/lambdaclass/cairo-vm/pull/2028/checks?check_run_id=39449669998

[dorimedini-starkware]

Hi @dorimedini-starkware. Could you add some tests for the new methods? The coverage job is failing: https://github.com/lambdaclass/cairo-vm/pull/2028/checks?check_run_id=39449669998

Done. Couldn't run locally (build errors due to missing JSON files...?), running CI

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.54%. Comparing base (63fa1b7) to head (6619ad2).
Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #2024   +/-   ##
=======================================
  Coverage   96.54%   96.54%           
=======================================
  Files         102      102           
  Lines       42755    42778   +23     
=======================================
+ Hits        41276    41299   +23     
  Misses       1479     1479           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[JulianGCalderon]

LGTM

[dorimedini-starkware]

@JulianGCalderon can you update this?

[dorimedini-starkware]

closing in favor of this