3 ! expect signal SIGABRT
4 $ ${bindir:=.}/bugged2 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
5 > [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1'
6 > [ 0.000000] (0:@) Check a safety property
7 > [ 0.000000] (2:client@HostB) Send 1!
8 > [ 0.000000] (3:client@HostC) Send 2!
9 > [ 0.000000] (1:server@HostA) Received 1
10 > [ 0.000000] (2:client@HostB) Send 1!
11 > [ 0.000000] (1:server@HostA) Received 1
12 > [ 0.000000] (1:server@HostA) Received 2
13 > [ 0.000000] (3:client@HostC) Send 2!
14 > [ 0.000000] (1:server@HostA) Received 2
15 > [ 0.000000] (1:server@HostA) OK
16 > [ 0.000000] (1:server@HostA) Received 1
17 > [ 0.000000] (2:client@HostB) Send 1!
18 > [ 0.000000] (1:server@HostA) Received 2
19 > [ 0.000000] (1:server@HostA) Received 1
20 > [ 0.000000] (3:client@HostC) Send 2!
21 > [ 0.000000] (1:server@HostA) Received 2
22 > [ 0.000000] (1:server@HostA) OK
23 > [ 0.000000] (1:server@HostA) Received 1
24 > [ 0.000000] (2:client@HostB) Send 1!
25 > [ 0.000000] (1:server@HostA) Received 2
26 > [ 0.000000] (1:server@HostA) Received 1
27 > [ 0.000000] (1:server@HostA) Received 2
28 > [ 0.000000] (1:server@HostA) Received 1
29 > [ 0.000000] (2:client@HostB) Send 1!
30 > [ 0.000000] (1:server@HostA) Received 1
31 > [ 0.000000] (3:client@HostC) Send 2!
32 > [ 0.000000] (1:server@HostA) Received 2
33 > [ 0.000000] (1:server@HostA) OK
34 > [ 0.000000] (1:server@HostA) Received 2
35 > [ 0.000000] (1:server@HostA) Received 1
36 > [ 0.000000] (2:client@HostB) Send 1!
37 > [ 0.000000] (1:server@HostA) Received 1
38 > [ 0.000000] (3:client@HostC) Send 2!
39 > [ 0.000000] (1:server@HostA) Received 2
40 > [ 0.000000] (1:server@HostA) OK
41 > [ 0.000000] (1:server@HostA) Received 2
42 > [ 0.000000] (1:server@HostA) Received 1
43 > [ 0.000000] (2:client@HostB) Send 1!
44 > [ 0.000000] (3:client@HostC) Send 2!
45 > [ 0.000000] (1:server@HostA) Received 1
46 > [ 0.000000] (1:server@HostA) Received 2
47 > [ 0.000000] (1:server@HostA) OK
48 > [ 0.000000] (1:server@HostA) Received 2
49 > [ 0.000000] (1:server@HostA) Received 1
50 > [ 0.000000] (2:client@HostB) Send 1!
51 > [ 0.000000] (1:server@HostA) Received 1
52 > [ 0.000000] (3:client@HostC) Send 2!
53 > [ 0.000000] (1:server@HostA) Received 2
54 > [ 0.000000] (1:server@HostA) OK
55 > [ 0.000000] (1:server@HostA) Received 2
56 > [ 0.000000] (1:server@HostA) Received 1
57 > [ 0.000000] (2:client@HostB) Send 1!
58 > [ 0.000000] (3:client@HostC) Send 2!
59 > [ 0.000000] (1:server@HostA) Received 1
60 > [ 0.000000] (1:server@HostA) Received 2
61 > [ 0.000000] (1:server@HostA) OK
62 > [ 0.000000] (0:@) Expanded states = 68
63 > [ 0.000000] (0:@) Visited states = 132
64 > [ 0.000000] (0:@) Executed transitions = 124