traceforge 0.2.1

TraceForge is a model checker for concurrent and distributed programs written in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use traceforge::{sync::oneshot::*, *};
// this file shows some example usage of the Must's `sync::oneshot` library

#[test]
fn single_producer() {
    let f = || {
        let (tx, rx) = channel();
        let _t = thread::spawn(move || {
            let _ = tx.send(10);
        });
        traceforge::future::block_on(async {
            assert(rx.await.expect("ok") == 10);
        });
    };

    let stats = verify(
        Config::builder().with_keep_going_after_error(false).build(),
        f,
    );
    println!("Stats = {}, {}", stats.execs, stats.block);
}