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.