pub fn replay_run(
invariant_contract: &InvariantContract<'_>,
executor: Executor,
known_contracts: &ContractsByArtifact,
ided_contracts: ContractsByAddress,
logs: &mut Vec<Log>,
traces: &mut Traces,
coverage: &mut Option<HitMaps>,
deprecated_cheatcodes: &mut HashMap<&'static str, Option<&'static str>>,
inputs: &[BasicTxDetails],
) -> Result<Vec<BaseCounterExample>>Expand description
Replays a call sequence for collecting logs and traces. Returns counterexample to be used when the call sequence is a failed scenario.