pub trait CmpMap: Debug {
fn len(&self) -> usize;
fn executions_for(&self, idx: usize) -> usize;
fn usable_executions_for(&self, idx: usize) -> usize;
fn values_of(&self, idx: usize, execution: usize) -> Option<CmpValues>;
fn reset(&mut self) -> Result<(), Error>;
fn is_empty(&self) -> bool { ... }
}
Expand description
A CmpMap
traces comparisons during the current execution
Required Methods§
sourcefn executions_for(&self, idx: usize) -> usize
fn executions_for(&self, idx: usize) -> usize
Get the number of executions for a cmp
sourcefn usable_executions_for(&self, idx: usize) -> usize
fn usable_executions_for(&self, idx: usize) -> usize
Get the number of logged executions for a cmp