Skip to main content

Module data_race_handler

miri::concurrency

Module data_race_handler 

Source

Re-exports§

use std::rc::Rc; 🔒
use super::data_race; 🔒
use super::weak_memory; 🔒
use crate::concurrency::GenmcCtx; 🔒
use crate::VisitProvenance; 🔒
use crate::VisitWith; 🔒

Enums§

AllocDataRaceHandler
GlobalDataRaceHandler