starknet_os_flow_tests: migrate test_compiled_class_hash_migration

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2025-11-17T13:56:33Z
• Started at 2025-11-20T10:49:41Z

[dorimedini-starkware]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• starknet_os_flow_tests: migrate test_compiled_class_hash_migration #10210 👈 (View in Graphite)
• starknet_os_flow_tests: better v1-v2 class handling #10310
• starknet_os_flow_tests: add all uncovered regression test #9557 : 2 other dependent PRs (#9561 , #10424 )
• starknet_os_flow_tests: add coverage regression testing #9556
• starknet_os_flow_tests: migrate test_empty_multi_block #9555
• starknet_os_flow_tests: migrate test_declare_and_deploy_in_separate_blocks #9554
• starknet_os_flow_tests: migrate test_meta_tx #9553
• blockifier_test_utils: update meta-tx test contract #9552
• starknet_os_flow_tests: migrate test_direct_execute_call #9551
• starknet_os_flow_tests: migrate test_data_gas_accounts #9550
• starknet_os_flow_tests: add data_gas_account contract #9549
• starknet_os_flow_tests: migrate test_resources_type #9548
• starknet_os_flow_tests: migrate test_reverted_call #9547
• blockifier_test_utils: update test contract for revert test with meta tx #9546
• starknet_os_flow_tests: migrate test_initial_sierra_gas #9539 : 1 other dependent PR (#9544 )
• starknet_os_flow_tests: migrate test_block_info #9529
• blockifier_test_utils: add block_info_test_contract contracts #9528
• starknet_os_flow_tests: migrate test_deploy_syscall #9527
• starknet_os_flow_tests: migrate test_deprecated_tx_info #9525
• blockifier_test_utils: add tx_info_writer cairo0 contract #9524
• starknet_os_flow_tests: rename test #9823
• starknet_os_flow_tests: split test_new_class_flow new account flow #9822
• starknet_os_flow_tests: split test_new_class_flow experimental contract flow #9821
• starknet_os_flow_tests: split test_new_class_flow exec-info txs #9820
• starknet_os_flow_tests: use nonce as deployment salt #9819
• starknet_os_flow_tests: implement get_builtin_usage #9818
• starknet_os_flow_tests: implement update_expected_storage_updates_for_block_hash_contract #9817
• starknet_os_flow_tests: migrate test_new_class_flow #9518
• starknet_os_flow_tests: add update_expected_storage util #9805
• blockifier_test_utils: add experimental contract and it's libfuncs list #9517
• blockifier_test_utils: put tx hash in signature for exec info tests #9516
• blockifier: extract get_expected_execution_info to function #9515
• blockifier: update test contract for test_new_contract_flow #9514
• main-v0.14.1-committer

This stack of pull requests is managed by Graphite. Learn more about stacking.

[meship-starkware]

Reviewable status: 0 of 3 files reviewed, 1 unresolved discussion (waiting on @AvivYossef-starkware and @Yoni-Starkware)

---

crates/starknet_os_flow_tests/src/tests.rs line 2947 at r1 (raw file):

            );
            // Migration is enabled, and V1-declare should be enabled only for the first block.
            block_ctx.versioned_constants.enable_casm_hash_migration = true;

This should also be false for the first block. We do not support migrating declared transactions, but we also don't want the first declaration to migrate, as we want to test the migration of the class after it was previously declared.

Suggestion:

 block_ctx.versioned_constants.enable_casm_hash_migration = *i > 0;