Function replay_error 

pub fn replay_error(
    config: InvariantConfig,
    executor: Executor,
    calls: &[BasicTxDetails],
    inner_sequence: Option<Vec<Option<BasicTxDetails>>>,
    target_value: Option<Signed<256, 4>>,
    invariant_contract: &InvariantContract<'_>,
    known_contracts: &ContractsByArtifact,
    ided_contracts: BTreeMap<Address, (String, JsonAbi)>,
    logs: &mut Vec<Log>,
    traces: &mut Vec<(TraceKind, SparsedTraceArena)>,
    line_coverage: &mut Option<HitMaps>,
    deprecated_cheatcodes: &mut HashMap<&'static str, Option<&'static str>, DefaultHashBuilder>,
    progress: Option<&ProgressBar>,
    early_exit: &EarlyExit,
) -> Result<Vec<BaseCounterExample>, Report>

Replays and shrinks a call sequence, collecting logs and traces.

For check mode (target_value=None): shrinks to find shortest failing sequence. For optimization mode (target_value=Some): shrinks to find shortest sequence producing target.