pub fn replay_error(
failed_case: &FailedInvariantCaseData,
invariant_contract: &InvariantContract<'_>,
executor: Executor,
known_contracts: &ContractsByArtifact,
ided_contracts: BTreeMap<Address, (String, JsonAbi)>,
logs: &mut Vec<Log>,
traces: &mut Vec<(TraceKind, SparsedTraceArena)>,
coverage: &mut Option<HitMaps>,
deprecated_cheatcodes: &mut HashMap<&'static str, Option<&'static str>, RandomState>,
progress: Option<&ProgressBar>,
) -> Result<Vec<BaseCounterExample>, Report>Expand description
Replays the error case, shrinks the failing sequence and collects all necessary traces.