1 files changed, 61 insertions, 0 deletions
diff --git a/cts/scheduler/dot/6-migrate-group.dot b/cts/scheduler/dot/6-migrate-group.dot
new file mode 100644
index 0000000..22f79bb
--- /dev/null
+++ b/cts/scheduler/dot/6-migrate-group.dot
@@ -0,0 +1,61 @@
+ digraph "g" {
+"A_migrate_from_0 18node2" -> "A_start_0 18node2" [ style = bold]
+"A_migrate_from_0 18node2" -> "A_stop_0 18node1" [ style = bold]
+"A_migrate_from_0 18node2" -> "B_migrate_to_0 18node1" [ style = bold]
+"A_migrate_from_0 18node2" [ style=bold color="green" fontcolor="black"]
+"A_migrate_to_0 18node1" -> "A_migrate_from_0 18node2" [ style = bold]
+"A_migrate_to_0 18node1" [ style=bold color="green" fontcolor="black"]
+"A_monitor_60000 18node2" [ style=bold color="green" fontcolor="black"]
+"A_start_0 18node2" -> "A_monitor_60000 18node2" [ style = bold]
+"A_start_0 18node2" -> "B_migrate_to_0 18node1" [ style = dashed]
+"A_start_0 18node2" -> "B_start_0 18node2" [ style = bold]
+"A_start_0 18node2" -> "thegroup_running_0" [ style = bold]
+"A_start_0 18node2" [ style=bold color="green" fontcolor="orange"]
+"A_stop_0 18node1" -> "A_start_0 18node2" [ style = bold]
+"A_stop_0 18node1" -> "thegroup_stopped_0" [ style = bold]
+"A_stop_0 18node1" [ style=bold color="green" fontcolor="black"]
+"B_migrate_from_0 18node2" -> "B_start_0 18node2" [ style = bold]
+"B_migrate_from_0 18node2" -> "B_stop_0 18node1" [ style = bold]
+"B_migrate_from_0 18node2" -> "C_migrate_to_0 18node1" [ style = bold]
+"B_migrate_from_0 18node2" [ style=bold color="green" fontcolor="black"]
+"B_migrate_to_0 18node1" -> "B_migrate_from_0 18node2" [ style = bold]
+"B_migrate_to_0 18node1" [ style=bold color="green" fontcolor="black"]
+"B_monitor_60000 18node2" [ style=bold color="green" fontcolor="black"]
+"B_start_0 18node2" -> "B_monitor_60000 18node2" [ style = bold]
+"B_start_0 18node2" -> "C_migrate_to_0 18node1" [ style = dashed]
+"B_start_0 18node2" -> "C_start_0 18node2" [ style = bold]
+"B_start_0 18node2" -> "thegroup_running_0" [ style = bold]
+"B_start_0 18node2" [ style=bold color="green" fontcolor="orange"]
+"B_stop_0 18node1" -> "A_migrate_to_0 18node1" [ style = dashed]
+"B_stop_0 18node1" -> "A_stop_0 18node1" [ style = bold]
+"B_stop_0 18node1" -> "B_start_0 18node2" [ style = bold]
+"B_stop_0 18node1" -> "thegroup_stopped_0" [ style = bold]
+"B_stop_0 18node1" [ style=bold color="green" fontcolor="black"]
+"C_migrate_from_0 18node2" -> "C_start_0 18node2" [ style = bold]
+"C_migrate_from_0 18node2" -> "C_stop_0 18node1" [ style = bold]
+"C_migrate_from_0 18node2" [ style=bold color="green" fontcolor="black"]
+"C_migrate_to_0 18node1" -> "C_migrate_from_0 18node2" [ style = bold]
+"C_migrate_to_0 18node1" [ style=bold color="green" fontcolor="black"]
+"C_monitor_60000 18node2" [ style=bold color="green" fontcolor="black"]
+"C_start_0 18node2" -> "C_monitor_60000 18node2" [ style = bold]
+"C_start_0 18node2" -> "thegroup_running_0" [ style = bold]
+"C_start_0 18node2" [ style=bold color="green" fontcolor="orange"]
+"C_stop_0 18node1" -> "B_migrate_to_0 18node1" [ style = dashed]
+"C_stop_0 18node1" -> "B_stop_0 18node1" [ style = bold]
+"C_stop_0 18node1" -> "C_start_0 18node2" [ style = bold]
+"C_stop_0 18node1" -> "thegroup_stopped_0" [ style = bold]
+"C_stop_0 18node1" [ style=bold color="green" fontcolor="black"]
+"thegroup_running_0" [ style=bold color="green" fontcolor="orange"]
+"thegroup_start_0" -> "A_start_0 18node2" [ style = bold]
+"thegroup_start_0" -> "B_start_0 18node2" [ style = bold]
+"thegroup_start_0" -> "C_start_0 18node2" [ style = bold]
+"thegroup_start_0" -> "thegroup_running_0" [ style = bold]
+"thegroup_start_0" [ style=bold color="green" fontcolor="orange"]
+"thegroup_stop_0" -> "A_stop_0 18node1" [ style = bold]
+"thegroup_stop_0" -> "B_stop_0 18node1" [ style = bold]
+"thegroup_stop_0" -> "C_stop_0 18node1" [ style = bold]
+"thegroup_stop_0" -> "thegroup_stopped_0" [ style = bold]
+"thegroup_stop_0" [ style=bold color="green" fontcolor="orange"]
+"thegroup_stopped_0" -> "thegroup_start_0" [ style = bold]
+"thegroup_stopped_0" [ style=bold color="green" fontcolor="orange"]
+}