pub fn log_concurrent<K: Clone + Debug + Eq + Hash + RandGen + Send, V: Clone + Debug + Eq + Hash + RandGen + Send, M: Default + Sync + ConcurrentMap<K, V>>(
threads: usize,
steps: usize,
)Expand description
Randomly runs many operations concurrently and logs the operations & results per thread. Then
checks the consistency of the log. For example, if the key k was successfully deleted twice,
then k must have been inserted at least twice.