loom 0.7.2

Permutation testing for concurrent code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

#[test]
#[should_panic]
fn double_panic_at_branch_max() {
    let mut builder = loom::model::Builder::new();
    builder.max_branches = 2;

    builder.check(|| {
        let _arc = loom::sync::Arc::new(());
        loom::thread::yield_now();
        loom::thread::yield_now();
        loom::thread::yield_now();
    });
}