blockifier_test_utils: add inner deploy failure test function in test contract

[dorimedini-starkware]

blockifier_test_utils: add inner deploy failure test function in test contract

starknet_os_flow_tests: add flow test for inner deploy cairo1 revert

Signed-off-by: Dori Medini [email protected]

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

• blockifier_test_utils: add inner deploy failure test function in test contract #10795 👈 (View in Graphite)
• main-v0.14.1-committer

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

[github-actions]

Artifacts upload workflows:

• Started at 2025-12-15T11:28:41Z
• Started at 2025-12-15T11:58:46Z
• Started at 2025-12-15T12:32:04Z
• Started at 2025-12-15T13:08:59Z
• Started at 2025-12-15T13:20:53Z

[Yoni-Starkware]

@Yoni-Starkware reviewed 4 of 4 files at r1.
Reviewable status: 4 of 6 files reviewed, 1 unresolved discussion (waiting on @dorimedini-starkware and @noaov1)

---

crates/blockifier_test_utils/resources/feature_contracts/cairo1/test_contract.cairo line 530 at r1 (raw file):

        match syscalls::call_contract_syscall(
            self_address,
            deploy_and_fail_selector,

You can use the selector! macro instead of passing it

Code quote:

deploy_and_fail_selector,

---

crates/starknet_os_flow_tests/src/tests.rs line 2032 at r4 (raw file):

        test_manager.execute_test_with_default_block_contexts(&TestParameters::default()).await;
    test_output.perform_default_validations();
}

Where do you check that the tx is not reverted? (and in general, in OS tests)

Code quote:

    // Run the test and verify storage changes.
    let test_output =
        test_manager.execute_test_with_default_block_contexts(&TestParameters::default()).await;
    test_output.perform_default_validations();
}

[dorimedini-starkware]

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

---

crates/starknet_os_flow_tests/src/tests.rs line 2032 at r4 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Where do you check that the tx is not reverted? (and in general, in OS tests)

in verify_execution_outputs

[Yoni-Starkware]

@Yoni-Starkware reviewed 1 of 2 files at r5, 2 of 3 files at r7, 2 of 3 files at r9, 7 of 7 files at r10, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @noaov1)