1 files changed, 33 insertions, 0 deletions
diff --git a/cts/scheduler/dot/bug-5143-ms-shuffle.dot b/cts/scheduler/dot/bug-5143-ms-shuffle.dot
new file mode 100644
index 0000000..96ee346
--- /dev/null
+++ b/cts/scheduler/dot/bug-5143-ms-shuffle.dot
@@ -0,0 +1,33 @@
+ digraph "g" {
+"drbd-r1_monitor_29000 hex-2" [ style=bold color="green" fontcolor="black"]
+"drbd-r1_monitor_31000 hex-3" [ style=bold color="green" fontcolor="black"]
+"drbd-r1_post_notify_promoted_0 hex-2" -> "ms-r1_confirmed-post_notify_promoted_0" [ style = bold]
+"drbd-r1_post_notify_promoted_0 hex-2" [ style=bold color="green" fontcolor="black"]
+"drbd-r1_post_notify_promoted_0 hex-3" -> "ms-r1_confirmed-post_notify_promoted_0" [ style = bold]
+"drbd-r1_post_notify_promoted_0 hex-3" [ style=bold color="green" fontcolor="black"]
+"drbd-r1_pre_notify_promote_0 hex-2" -> "ms-r1_confirmed-pre_notify_promote_0" [ style = bold]
+"drbd-r1_pre_notify_promote_0 hex-2" [ style=bold color="green" fontcolor="black"]
+"drbd-r1_pre_notify_promote_0 hex-3" -> "ms-r1_confirmed-pre_notify_promote_0" [ style = bold]
+"drbd-r1_pre_notify_promote_0 hex-3" [ style=bold color="green" fontcolor="black"]
+"drbd-r1_promote_0 hex-3" -> "drbd-r1_monitor_31000 hex-3" [ style = bold]
+"drbd-r1_promote_0 hex-3" -> "ms-r1_promoted_0" [ style = bold]
+"drbd-r1_promote_0 hex-3" [ style=bold color="green" fontcolor="black"]
+"ms-r1_confirmed-post_notify_promoted_0" -> "drbd-r1_monitor_29000 hex-2" [ style = bold]
+"ms-r1_confirmed-post_notify_promoted_0" -> "drbd-r1_monitor_31000 hex-3" [ style = bold]
+"ms-r1_confirmed-post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
+"ms-r1_confirmed-pre_notify_promote_0" -> "ms-r1_post_notify_promoted_0" [ style = bold]
+"ms-r1_confirmed-pre_notify_promote_0" -> "ms-r1_promote_0" [ style = bold]
+"ms-r1_confirmed-pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
+"ms-r1_post_notify_promoted_0" -> "drbd-r1_post_notify_promoted_0 hex-2" [ style = bold]
+"ms-r1_post_notify_promoted_0" -> "drbd-r1_post_notify_promoted_0 hex-3" [ style = bold]
+"ms-r1_post_notify_promoted_0" -> "ms-r1_confirmed-post_notify_promoted_0" [ style = bold]
+"ms-r1_post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
+"ms-r1_pre_notify_promote_0" -> "drbd-r1_pre_notify_promote_0 hex-2" [ style = bold]
+"ms-r1_pre_notify_promote_0" -> "drbd-r1_pre_notify_promote_0 hex-3" [ style = bold]
+"ms-r1_pre_notify_promote_0" -> "ms-r1_confirmed-pre_notify_promote_0" [ style = bold]
+"ms-r1_pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
+"ms-r1_promote_0" -> "drbd-r1_promote_0 hex-3" [ style = bold]
+"ms-r1_promote_0" [ style=bold color="green" fontcolor="orange"]
+"ms-r1_promoted_0" -> "ms-r1_post_notify_promoted_0" [ style = bold]
+"ms-r1_promoted_0" [ style=bold color="green" fontcolor="orange"]
+}