[go: up one dir, main page]
loom

Function skip_branch

Source 
pub fn skip_branch()
Expand description

Tells loom to stop exploring possible concurrent execution starting at this point.

Unlike stop_exploring, exploration cannot be restarted by explore.