5 $ ${bindir:=.}/../../../bin/simgrid
6 > [ 0.000000] (0:maestro@) Start a DFS exploration. Reduction is: dpor.
7 > [ 0.000000] (2:client1@Bourassa) Sent!
8 > [ 0.000000] (1:server@Boivin) OK
9 > [ 0.000000] (3:client2@Fafard) Sent!
10 > [ 0.000000] (1:server@Boivin) OK
11 > [ 0.000000] (2:client1@Bourassa) Sent!
12 > [ 0.000000] (3:client2@Fafard) Sent!
13 > [ 0.000000] (1:server@Boivin) OK
14 > [ 0.000000] (3:client2@Fafard) Sent!
15 > [ 0.000000] (2:client1@Bourassa) Sent!
16 > [ 0.000000] (2:client1@Bourassa) Sent!
17 > [ 0.000000] (1:server@Boivin) OK
18 > [ 0.000000] (3:client2@Fafard) Sent!
19 > [ 0.000000] (3:client2@Fafard) Sent!
20 > [ 0.000000] (1:server@Boivin) OK
21 > [ 0.000000] (2:client1@Bourassa) Sent!
22 > [ 0.000000] (3:client2@Fafard) Sent!
23 > [ 0.000000] (2:client1@Bourassa) Sent!
24 > [ 0.000000] (1:server@Boivin) OK
25 > [ 0.000000] (2:client1@Bourassa) Sent!
26 > [ 0.000000] (1:server@Boivin) OK
27 > [ 0.000000] (3:client2@Fafard) Sent!
28 > [ 0.000000] (2:client1@Bourassa) Sent!
29 > [ 0.000000] (1:server@Boivin) OK
30 > [ 0.000000] (3:client2@Fafard) Sent!
31 > [ 0.000000] (1:server@Boivin) OK
32 > [ 0.000000] (2:client1@Bourassa) Sent!
33 > [ 0.000000] (3:client2@Fafard) Sent!
34 > [ 0.000000] (1:server@Boivin) OK
35 > [ 0.000000] (3:client2@Fafard) Sent!
36 > [ 0.000000] (2:client1@Bourassa) Sent!
37 > [ 0.000000] (2:client1@Bourassa) Sent!
38 > [ 0.000000] (1:server@Boivin) OK
39 > [ 0.000000] (3:client2@Fafard) Sent!
40 > [ 0.000000] (3:client2@Fafard) Sent!
41 > [ 0.000000] (1:server@Boivin) OK
42 > [ 0.000000] (2:client1@Bourassa) Sent!
43 > [ 0.000000] (3:client2@Fafard) Sent!
44 > [ 0.000000] (2:client1@Bourassa) Sent!
45 > [ 0.000000] (1:server@Boivin) OK
46 > [ 0.000000] (2:client1@Bourassa) Sent!
47 > [ 0.000000] (1:server@Boivin) OK
48 > [ 0.000000] (3:client2@Fafard) Sent!
49 > [ 0.000000] (0:maestro@) **************************
50 > [ 0.000000] (0:maestro@) *** PROPERTY NOT VALID ***
51 > [ 0.000000] (0:maestro@) **************************
52 > [ 0.000000] (0:maestro@) Counter
53 > [ 0.000000] (0:maestro@) 1: iRecv(mbox=0)
54 > [ 0.000000] (0:maestro@) 3: iSend(mbox=0)
55 > [ 0.000000] (0:maestro@) 1: WaitComm(from 3 to 1, mbox=0, no timeout)
56 > [ 0.000000] (0:maestro@) 1: iRecv(mbox=0)
57 > [ 0.000000] (0:maestro@) 2: iSend(mbox=0)
58 > [ 0.000000] (0:maestro@) 1: WaitComm(from 2 to 1, mbox=0, no timeout)
59 > [ 0.000000] (0:maestro@) You can debug the problem (and see the whole details) by rerunning out of simgrid
60 > [ 0.000000] (0:maestro@) DFS exploration ended. 18 unique states visited; 4 backtracks (36 transition replays, 14 states visited overall)