miri::concurrency::vector_clock

Constant SMALL_VECTOR

Source
const SMALL_VECTOR: usize = 4;
Expand description

The size of the vector-clock to store inline clock vectors larger than this will be stored on the heap