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
28
29
30
31

(0, 0): BEGIN
(0, 1): TCREATE(1)
(0, 2): TCREATE(2)
(0, 3): SEND(T1 # None, Terminate)
(1, 0): BEGIN
(1, 1): RECV() [(0, 3)]
(2, 0): BEGIN
(2, 1): SEND(T1 # None, Work)
(1, 2): RECV() [(2, 1)]
(1, 3): BLK Assert
(1, 4): END
(0, 4): TJOIN
(2, 1): SEND(T1 # None, Work)
(2, 2): END
(0, 5): TJOIN

(0, 0): BEGIN
(0, 1): TCREATE(1)
(0, 2): TCREATE(2)
(0, 3): SEND(T1 # None, Terminate)
(1, 0): BEGIN
(2, 0): BEGIN
(2, 1): SEND(T1 # None, Work)
(1, 1): RECV() [(2, 1)]
(1, 2): RECV() [(0, 3)]
(1, 3): END
(0, 4): TJOIN
(2, 1): SEND(T1 # None, Work)
(2, 2): END
(0, 5): TJOIN