1 files changed, 84 insertions, 0 deletions
diff --git a/cts/scheduler/dot/interleave-stop.dot b/cts/scheduler/dot/interleave-stop.dot
new file mode 100644
index 0000000..8ee4dd3
--- /dev/null
+++ b/cts/scheduler/dot/interleave-stop.dot
@@ -0,0 +1,84 @@
+ digraph "g" {
+"configstoreclone:0_pre_notify_stop_0 node1" -> "configstorecloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"configstoreclone:0_pre_notify_stop_0 node1" [ style=bold color="green" fontcolor="black"]
+"configstoreclone:0_stop_0 node1" -> "configstorecloneset_stopped_0" [ style = bold]
+"configstoreclone:0_stop_0 node1" -> "evmsclone:0_stop_0 node1" [ style = bold]
+"configstoreclone:0_stop_0 node1" [ style=bold color="green" fontcolor="black"]
+"configstoreclone:1_post_notify_stopped_0 node2" -> "configstorecloneset_confirmed-post_notify_stopped_0" [ style = bold]
+"configstoreclone:1_post_notify_stopped_0 node2" [ style=bold color="green" fontcolor="black"]
+"configstoreclone:1_pre_notify_stop_0 node2" -> "configstorecloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"configstoreclone:1_pre_notify_stop_0 node2" [ style=bold color="green" fontcolor="black"]
+"configstorecloneset_confirmed-post_notify_stopped_0" -> "evmscloneset_stop_0" [ style = bold]
+"configstorecloneset_confirmed-post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"configstorecloneset_confirmed-pre_notify_stop_0" -> "configstorecloneset_post_notify_stopped_0" [ style = bold]
+"configstorecloneset_confirmed-pre_notify_stop_0" -> "configstorecloneset_stop_0" [ style = bold]
+"configstorecloneset_confirmed-pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
+"configstorecloneset_post_notify_stopped_0" -> "configstoreclone:1_post_notify_stopped_0 node2" [ style = bold]
+"configstorecloneset_post_notify_stopped_0" -> "configstorecloneset_confirmed-post_notify_stopped_0" [ style = bold]
+"configstorecloneset_post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"configstorecloneset_pre_notify_stop_0" -> "configstoreclone:0_pre_notify_stop_0 node1" [ style = bold]
+"configstorecloneset_pre_notify_stop_0" -> "configstoreclone:1_pre_notify_stop_0 node2" [ style = bold]
+"configstorecloneset_pre_notify_stop_0" -> "configstorecloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"configstorecloneset_pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
+"configstorecloneset_stop_0" -> "configstoreclone:0_stop_0 node1" [ style = bold]
+"configstorecloneset_stop_0" -> "configstorecloneset_stopped_0" [ style = bold]
+"configstorecloneset_stop_0" [ style=bold color="green" fontcolor="orange"]
+"configstorecloneset_stopped_0" -> "configstorecloneset_post_notify_stopped_0" [ style = bold]
+"configstorecloneset_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"evmsclone:0_pre_notify_stop_0 node1" -> "evmscloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"evmsclone:0_pre_notify_stop_0 node1" [ style=bold color="green" fontcolor="black"]
+"evmsclone:0_stop_0 node1" -> "evmscloneset_stopped_0" [ style = bold]
+"evmsclone:0_stop_0 node1" [ style=bold color="green" fontcolor="black"]
+"evmsclone:1_post_notify_stopped_0 node2" -> "evmscloneset_confirmed-post_notify_stopped_0" [ style = bold]
+"evmsclone:1_post_notify_stopped_0 node2" [ style=bold color="green" fontcolor="black"]
+"evmsclone:1_pre_notify_stop_0 node2" -> "evmscloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"evmsclone:1_pre_notify_stop_0 node2" [ style=bold color="green" fontcolor="black"]
+"evmscloneset_confirmed-post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"evmscloneset_confirmed-pre_notify_stop_0" -> "evmscloneset_post_notify_stopped_0" [ style = bold]
+"evmscloneset_confirmed-pre_notify_stop_0" -> "evmscloneset_stop_0" [ style = bold]
+"evmscloneset_confirmed-pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
+"evmscloneset_post_notify_stopped_0" -> "evmsclone:1_post_notify_stopped_0 node2" [ style = bold]
+"evmscloneset_post_notify_stopped_0" -> "evmscloneset_confirmed-post_notify_stopped_0" [ style = bold]
+"evmscloneset_post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"evmscloneset_pre_notify_stop_0" -> "evmsclone:0_pre_notify_stop_0 node1" [ style = bold]
+"evmscloneset_pre_notify_stop_0" -> "evmsclone:1_pre_notify_stop_0 node2" [ style = bold]
+"evmscloneset_pre_notify_stop_0" -> "evmscloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"evmscloneset_pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
+"evmscloneset_stop_0" -> "evmsclone:0_stop_0 node1" [ style = bold]
+"evmscloneset_stop_0" -> "evmscloneset_stopped_0" [ style = bold]
+"evmscloneset_stop_0" [ style=bold color="green" fontcolor="orange"]
+"evmscloneset_stopped_0" -> "evmscloneset_post_notify_stopped_0" [ style = bold]
+"evmscloneset_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"imagestoreclone:0_pre_notify_stop_0 node1" -> "imagestorecloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"imagestoreclone:0_pre_notify_stop_0 node1" [ style=bold color="green" fontcolor="black"]
+"imagestoreclone:0_stop_0 node1" -> "evmsclone:0_stop_0 node1" [ style = bold]
+"imagestoreclone:0_stop_0 node1" -> "imagestorecloneset_stopped_0" [ style = bold]
+"imagestoreclone:0_stop_0 node1" [ style=bold color="green" fontcolor="black"]
+"imagestoreclone:1_post_notify_stopped_0 node2" -> "imagestorecloneset_confirmed-post_notify_stopped_0" [ style = bold]
+"imagestoreclone:1_post_notify_stopped_0 node2" [ style=bold color="green" fontcolor="black"]
+"imagestoreclone:1_pre_notify_stop_0 node2" -> "imagestorecloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"imagestoreclone:1_pre_notify_stop_0 node2" [ style=bold color="green" fontcolor="black"]
+"imagestorecloneset_confirmed-post_notify_stopped_0" -> "evmscloneset_stop_0" [ style = bold]
+"imagestorecloneset_confirmed-post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"imagestorecloneset_confirmed-pre_notify_stop_0" -> "imagestorecloneset_post_notify_stopped_0" [ style = bold]
+"imagestorecloneset_confirmed-pre_notify_stop_0" -> "imagestorecloneset_stop_0" [ style = bold]
+"imagestorecloneset_confirmed-pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
+"imagestorecloneset_post_notify_stopped_0" -> "imagestoreclone:1_post_notify_stopped_0 node2" [ style = bold]
+"imagestorecloneset_post_notify_stopped_0" -> "imagestorecloneset_confirmed-post_notify_stopped_0" [ style = bold]
+"imagestorecloneset_post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"imagestorecloneset_pre_notify_stop_0" -> "imagestoreclone:0_pre_notify_stop_0 node1" [ style = bold]
+"imagestorecloneset_pre_notify_stop_0" -> "imagestoreclone:1_pre_notify_stop_0 node2" [ style = bold]
+"imagestorecloneset_pre_notify_stop_0" -> "imagestorecloneset_confirmed-pre_notify_stop_0" [ style = bold]
+"imagestorecloneset_pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
+"imagestorecloneset_stop_0" -> "imagestoreclone:0_stop_0 node1" [ style = bold]
+"imagestorecloneset_stop_0" -> "imagestorecloneset_stopped_0" [ style = bold]
+"imagestorecloneset_stop_0" [ style=bold color="green" fontcolor="orange"]
+"imagestorecloneset_stopped_0" -> "imagestorecloneset_post_notify_stopped_0" [ style = bold]
+"imagestorecloneset_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"stonithclone:0_stop_0 node1" -> "stonithcloneset_stopped_0" [ style = bold]
+"stonithclone:0_stop_0 node1" [ style=bold color="green" fontcolor="black"]
+"stonithcloneset_stop_0" -> "stonithclone:0_stop_0 node1" [ style = bold]
+"stonithcloneset_stop_0" -> "stonithcloneset_stopped_0" [ style = bold]
+"stonithcloneset_stop_0" [ style=bold color="green" fontcolor="orange"]
+"stonithcloneset_stopped_0" [ style=bold color="green" fontcolor="orange"]
+}