1 files changed, 40 insertions, 0 deletions
diff --git a/cts/scheduler/dot/bug-pm-11.dot b/cts/scheduler/dot/bug-pm-11.dot
new file mode 100644
index 0000000..4c58711
--- /dev/null
+++ b/cts/scheduler/dot/bug-pm-11.dot
@@ -0,0 +1,40 @@
+ digraph "g" {
+"group:0_running_0" -> "ms-sf_running_0" [ style = bold]
+"group:0_running_0" [ style=bold color="green" fontcolor="orange"]
+"group:0_start_0" -> "group:0_running_0" [ style = bold]
+"group:0_start_0" -> "stateful-2:0_start_0 node-b" [ style = bold]
+"group:0_start_0" [ style=bold color="green" fontcolor="orange"]
+"group:1_promote_0" -> "stateful-2:1_promote_0 node-a" [ style = bold]
+"group:1_promote_0" [ style=bold color="green" fontcolor="orange"]
+"group:1_promoted_0" -> "ms-sf_promoted_0" [ style = bold]
+"group:1_promoted_0" [ style=bold color="green" fontcolor="orange"]
+"group:1_running_0" -> "ms-sf_running_0" [ style = bold]
+"group:1_running_0" [ style=bold color="green" fontcolor="orange"]
+"group:1_start_0" -> "group:1_running_0" [ style = bold]
+"group:1_start_0" -> "stateful-2:1_start_0 node-a" [ style = bold]
+"group:1_start_0" [ style=bold color="green" fontcolor="orange"]
+"ms-sf_promote_0" -> "group:1_promote_0" [ style = bold]
+"ms-sf_promote_0" [ style=bold color="green" fontcolor="orange"]
+"ms-sf_promoted_0" [ style=bold color="green" fontcolor="orange"]
+"ms-sf_running_0" -> "ms-sf_promote_0" [ style = bold]
+"ms-sf_running_0" [ style=bold color="green" fontcolor="orange"]
+"ms-sf_start_0" -> "group:0_start_0" [ style = bold]
+"ms-sf_start_0" -> "group:1_start_0" [ style = bold]
+"ms-sf_start_0" -> "ms-sf_running_0" [ style = bold]
+"ms-sf_start_0" [ style=bold color="green" fontcolor="orange"]
+"stateful-2:0_monitor_0 node-a" -> "ms-sf_start_0" [ style = bold]
+"stateful-2:0_monitor_0 node-a" [ style=bold color="green" fontcolor="black"]
+"stateful-2:0_monitor_0 node-b" -> "ms-sf_start_0" [ style = bold]
+"stateful-2:0_monitor_0 node-b" [ style=bold color="green" fontcolor="black"]
+"stateful-2:0_start_0 node-b" -> "group:0_running_0" [ style = bold]
+"stateful-2:0_start_0 node-b" [ style=bold color="green" fontcolor="black"]
+"stateful-2:1_monitor_0 node-a" -> "ms-sf_start_0" [ style = bold]
+"stateful-2:1_monitor_0 node-a" [ style=bold color="green" fontcolor="black"]
+"stateful-2:1_monitor_0 node-b" -> "ms-sf_start_0" [ style = bold]
+"stateful-2:1_monitor_0 node-b" [ style=bold color="green" fontcolor="black"]
+"stateful-2:1_promote_0 node-a" -> "group:1_promoted_0" [ style = bold]
+"stateful-2:1_promote_0 node-a" [ style=bold color="green" fontcolor="black"]
+"stateful-2:1_start_0 node-a" -> "group:1_running_0" [ style = bold]
+"stateful-2:1_start_0 node-a" -> "stateful-2:1_promote_0 node-a" [ style = bold]
+"stateful-2:1_start_0 node-a" [ style=bold color="green" fontcolor="black"]
+}