Skip to main content

recognize_racy_select

logicaffeine_compile::codegen_tt::concurrency_mesh

Function recognize_racy_select 

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

Recognize a racy select: main launches a task (which sleeps then sends one literal) and awaits the first of a receive + a timeout, with NO pre-send in main. Extracts the send’s virtual time + the timeout.