pub(crate) fn handle_assume_no_revert(
assume_no_revert: &AssumeNoRevert,
status: InstructionResult,
retdata: &Bytes,
known_contracts: &Option<ContractsByArtifact>,
) -> Result<()>
pub(crate) fn handle_assume_no_revert(
assume_no_revert: &AssumeNoRevert,
status: InstructionResult,
retdata: &Bytes,
known_contracts: &Option<ContractsByArtifact>,
) -> Result<()>