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
22
23
24
25
26
27

use traceforge::{recv_tagged_msg, recv_tagged_msg_block, send_msg, thread::spawn, verify, Config};

#[test]
#[should_panic(expected = "wrong message return type; expecting bool but got u32")]
fn test_recv_wrong_type_nonblocking() {
    verify(Config::builder().build(), || {
        let tid = spawn(|| {
            let _: Option<bool> = recv_tagged_msg(|_, _| true);
        })
        .thread()
        .id();
        send_msg(tid, 0u32);
    });
}

#[test]
#[should_panic(expected = "wrong message return type; expecting bool but got u32")]
fn test_recv_wrong_type() {
    verify(Config::builder().build(), || {
        let tid = spawn(|| {
            let _: bool = recv_tagged_msg_block(|_, _| true);
        })
        .thread()
        .id();
        send_msg(tid, 0u32);
    });
}