pub fn ignore_var<T>(var: &T)
Available on crate feature
client_requests_defs
only.Expand description
Tell DRD not to complain about data races for the specified variable
Some applications contain intentional races. There exist e.g. applications where the same value is assigned to a shared variable from two different threads. It may be more convenient to suppress such races than to solve these. This client request allows one to suppress such races.