blockifier_test_utils: update test contract for revert test with meta tx

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2025-10-11T20:55:00Z
• Started at 2025-10-14T10:24:29Z
• Started at 2025-10-14T10:36:30Z
• Started at 2025-10-15T11:24:18Z
• Started at 2025-10-19T18:44:59Z
• Started at 2025-10-23T08:54:21Z
• Started at 2025-11-13T11:47:22Z
• Started at 2025-11-13T13:46:59Z
• Started at 2025-11-20T09:28:39Z
• Started at 2025-11-20T10:48:06Z
• Started at 2025-11-20T12:03:47Z
• Started at 2025-11-25T15:55:43Z
• Started at 2025-11-26T19:34:40Z
• Started at 2025-11-27T11:29:42Z
• Started at 2025-11-27T13:35:50Z
• Started at 2025-11-27T13:59:44Z
• Started at 2025-12-02T10:57:45Z
• Started at 2025-12-02T11:56:52Z
• Started at 2025-12-02T12:07:56Z

[dorimedini-starkware]

• starknet_os_flow_tests: add all uncovered regression test #9557 : 3 dependent PRs (#9561 , #10310 , #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 👈 (View in Graphite)
• 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.

[rotem-starkware]

@rotem-starkware reviewed 8 of 8 files at r1, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @AvivYossef-starkware, @meship-starkware, and @Yoni-Starkware)

---

crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs line 45 at r1 (raw file):

        to_panic,
        is_meta_tx
    ];

Non-blocking

Suggestion:

    let inner_calldata_args = &[new_class_hash.0, to_panic];
    let calldata = calldata_macro![
        **test_contract.get_instance_address(0),
        selector_from_name("test_revert_helper").0,
        inner_calldata_args.len().into(),
        inner_calldata_args.into(),
        is_meta_tx
    ];

      

---

crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs line 117 at r1 (raw file):

        ]
        .concat(),
    ));

Non-blocking

Suggestion:

    let calldata = calldata_macro![
        **test_contract.get_instance_address(0),
        selector_from_name("middle_revert_contract").0,
        middle_call_data.0.len().into(),
        middle_call_data.0.to_vec(),
        is_meta_tx
    ];

[dorimedini-starkware]

Reviewable status: 7 of 9 files reviewed, all discussions resolved (waiting on @AvivYossef-starkware, @meship-starkware, @rotem-starkware, and @Yoni-Starkware)

---

crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs line 117 at r1 (raw file):

Previously, rotem-starkware wrote…

Non-blocking

done. note that here and above, the calldata macro cannot accept a mix of felts and vec[felt]s, so the concat is required; and the macro cannot accept a vector at all, so I now use the new Calldata::from

[rotem-starkware]

@rotem-starkware reviewed 2 of 2 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @AvivYossef-starkware, @meship-starkware, and @Yoni-Starkware)

[rotem-starkware]

@rotem-starkware reviewed 1 of 1 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @AvivYossef-starkware, @meship-starkware, and @Yoni-Starkware)

[dorimedini-starkware]

@dorimedini-starkware reviewed 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @AvivYossef-starkware, @meship-starkware, and @Yoni-Starkware)