pub fn replay_error(
config: InvariantConfig,
executor: Executor,
calls: &[BasicTxDetails],
inner_sequence: Option<Vec<Option<BasicTxDetails>>>,
invariant_contract: &InvariantContract<'_>,
known_contracts: &ContractsByArtifact,
ided_contracts: ContractsByAddress,
logs: &mut Vec<Log>,
traces: &mut Traces,
line_coverage: &mut Option<HitMaps>,
deprecated_cheatcodes: &mut HashMap<&'static str, Option<&'static str>>,
progress: Option<&ProgressBar>,
early_exit: &EarlyExit,
) -> Result<Vec<BaseCounterExample>>Expand description
Replays the error case, shrinks the failing sequence and collects all necessary traces.