Skip to main content

recognize_multi_racy

logicaffeine_compile::codegen_tt::concurrency_mesh

Function recognize_multi_racy 

Source 
pub fn recognize_multi_racy(
    stmts: &[Stmt<'_>],
    interner: &Interner,
) -> Option<RacyMultiSpec>
Expand description

Recognize a multi-task race: main launches ≥2 tasks (each sleeps then sends one literal, no pre-send in main) and awaits the first of a receive + a timeout. Extracts each task’s (value, send-vtime) + timeout.