summaryrefslogtreecommitdiffstats
path: root/cts/scheduler/dot/bug-lf-2453.dot
blob: 075bd706adda1d93a70c7e2b5406dcc373ce45c4 (plain)
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
32
33
34
35
36
37
38
39
40
41
42
43
44
 digraph "g" {
"CloneResource1_stop_0" -> "CloneResource1_stopped_0" [ style = bold]
"CloneResource1_stop_0" -> "apache:0_stop_0 domu2" [ style = bold]
"CloneResource1_stop_0" -> "apache:1_stop_0 domu1" [ style = bold]
"CloneResource1_stop_0" [ style=bold color="green" fontcolor="orange"]
"CloneResource1_stopped_0" [ style=bold color="green" fontcolor="orange"]
"CloneResource2_running_0" -> "PrimitiveResource1_start_0 domu1" [ style = dashed]
"CloneResource2_running_0" [ style=dashed color="red" fontcolor="orange"]
"CloneResource2_start_0" -> "CloneResource2_running_0" [ style = dashed]
"CloneResource2_start_0" -> "DummyResource:0_start_0 domu2" [ style = dashed]
"CloneResource2_start_0" -> "DummyResource:1_start_0 domu1" [ style = dashed]
"CloneResource2_start_0" [ style=dashed color="red" fontcolor="orange"]
"CloneResource2_stop_0" -> "CloneResource2_stopped_0" [ style = bold]
"CloneResource2_stop_0" -> "DummyResource:0_stop_0 domu2" [ style = bold]
"CloneResource2_stop_0" -> "DummyResource:1_stop_0 domu1" [ style = bold]
"CloneResource2_stop_0" [ style=bold color="green" fontcolor="orange"]
"CloneResource2_stopped_0" -> "CloneResource1_stop_0" [ style = bold]
"CloneResource2_stopped_0" -> "CloneResource2_start_0" [ style = dashed]
"CloneResource2_stopped_0" [ style=bold color="green" fontcolor="orange"]
"DummyResource:0_monitor_10000 domu2" [ style=dashed color="red" fontcolor="black"]
"DummyResource:0_start_0 domu2" -> "CloneResource2_running_0" [ style = dashed]
"DummyResource:0_start_0 domu2" -> "DummyResource:0_monitor_10000 domu2" [ style = dashed]
"DummyResource:0_start_0 domu2" [ style=dashed color="red" fontcolor="black"]
"DummyResource:0_stop_0 domu2" -> "CloneResource2_stopped_0" [ style = bold]
"DummyResource:0_stop_0 domu2" -> "DummyResource:0_start_0 domu2" [ style = dashed]
"DummyResource:0_stop_0 domu2" [ style=bold color="green" fontcolor="black"]
"DummyResource:1_monitor_10000 domu1" [ style=dashed color="red" fontcolor="black"]
"DummyResource:1_start_0 domu1" -> "CloneResource2_running_0" [ style = dashed]
"DummyResource:1_start_0 domu1" -> "DummyResource:1_monitor_10000 domu1" [ style = dashed]
"DummyResource:1_start_0 domu1" [ style=dashed color="red" fontcolor="black"]
"DummyResource:1_stop_0 domu1" -> "CloneResource2_stopped_0" [ style = bold]
"DummyResource:1_stop_0 domu1" -> "DummyResource:1_start_0 domu1" [ style = dashed]
"DummyResource:1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
"PrimitiveResource1_monitor_10000 domu1" [ style=dashed color="red" fontcolor="black"]
"PrimitiveResource1_start_0 domu1" -> "PrimitiveResource1_monitor_10000 domu1" [ style = dashed]
"PrimitiveResource1_start_0 domu1" [ style=dashed color="red" fontcolor="black"]
"PrimitiveResource1_stop_0 domu1" -> "CloneResource2_stop_0" [ style = bold]
"PrimitiveResource1_stop_0 domu1" -> "PrimitiveResource1_start_0 domu1" [ style = dashed]
"PrimitiveResource1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
"apache:0_stop_0 domu2" -> "CloneResource1_stopped_0" [ style = bold]
"apache:0_stop_0 domu2" [ style=bold color="green" fontcolor="black"]
"apache:1_stop_0 domu1" -> "CloneResource1_stopped_0" [ style = bold]
"apache:1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
}