summaryrefslogtreecommitdiffstats
path: root/cts/scheduler/dot/quorum-6.dot
blob: 5a861530eef902a0635e90ae454c16fab4b59ca7 (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
 digraph "g" {
"DoFencing_running_0" [ style=bold color="green" fontcolor="orange"]
"DoFencing_start_0" -> "DoFencing_running_0" [ style = bold]
"DoFencing_start_0" -> "child_DoFencing:0_start_0 hadev2" [ style = bold]
"DoFencing_start_0" [ style=bold color="green" fontcolor="orange"]
"child_DoFencing:0_monitor_0 hadev2" -> "DoFencing_start_0" [ style = bold]
"child_DoFencing:0_monitor_0 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:0_monitor_5000 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:0_start_0 hadev2" -> "DoFencing_running_0" [ style = bold]
"child_DoFencing:0_start_0 hadev2" -> "child_DoFencing:0_monitor_5000 hadev2" [ style = bold]
"child_DoFencing:0_start_0 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:1_monitor_0 hadev2" -> "DoFencing_start_0" [ style = bold]
"child_DoFencing:1_monitor_0 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:2_monitor_0 hadev2" -> "DoFencing_start_0" [ style = bold]
"child_DoFencing:2_monitor_0 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:3_monitor_0 hadev2" -> "DoFencing_start_0" [ style = bold]
"child_DoFencing:3_monitor_0 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:4_monitor_0 hadev2" -> "DoFencing_start_0" [ style = bold]
"child_DoFencing:4_monitor_0 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:5_monitor_0 hadev2" -> "DoFencing_start_0" [ style = bold]
"child_DoFencing:5_monitor_0 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:6_monitor_0 hadev2" -> "DoFencing_start_0" [ style = bold]
"child_DoFencing:6_monitor_0 hadev2" [ style=bold color="green" fontcolor="black"]
"child_DoFencing:7_monitor_0 hadev2" -> "DoFencing_start_0" [ style = bold]
"child_DoFencing:7_monitor_0 hadev2" [ style=bold color="green" fontcolor="black"]
}