Home
last modified time | relevance | path

Searched defs:ThreadExtraState (Results 1 – 1 of 1) sorted by relevance

/third_party/rust/rust/src/tools/miri/src/concurrency/
Ddata_race.rs1203 struct ThreadExtraState { struct
1209 vector_index: Option<VectorIdx>,
1215 termination_vector_clock: Option<VClock>,