Race tracking available to the interpreter. Vector-clock storage remains in the canonical machine state.

inductive Miri.Interpreter.RaceMode.Selection (B : Type) : Type

• none {B : Type} : Selection B
• vclocks {B : Type} : Selection B

inductive Miri.Interpreter.RaceMode.Handler (B : Type) : Type

• none {B : Type} : Handler B
• vclocks {B : Type} (global : Concurrency.GlobalState) : Handler B