Function loom::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.