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

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