Function simics::api::simulator::rev_exec::_delete_micro_checkpoint

source ยท 
fn _delete_micro_checkpoint(index: i32)
Expand description

Delete a micro checkpoint with a given index