shuttle 0.8.1

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

use shuttle::future;
use shuttle::check_dfs;
use std::rc::Rc;

fn main() {
    check_dfs(
        || {
            let rc = Rc::new(0);
            shuttle::future::block_on(future::spawn(async { drop(rc) })).unwrap()
        },
        None,
    );
}