Function simics::api::simulator::rev_exec::delete_micro_checkpoint

pub fn delete_micro_checkpoint(index: i32) -> Result<()>

Delete a micro checkpoint with a given index