Skip to main content

execute_tx_and_register_created

Function execute_tx_and_register_created 

Source
pub fn execute_tx_and_register_created<FEN>(
    executor: &mut Executor<FEN>,
    tx: &BasicTxDetails,
    targeted_contracts: &FuzzRunIdentifiedContracts,
    dynamic_target_ctx: &DynamicTargetCtx<'_>,
    created_contracts: &mut Vec<Address>,
) -> Result<(), Report>
where FEN: FoundryEvmNetwork,
Expand description

Executes an invariant replay call on a validation executor and registers created targets.

This mirrors sequence replay’s non-reverted commit behavior while allowing callers to update updatable target sets before validating later calls in the same artifact.