1 files changed, 40 insertions, 0 deletions
diff --git a/cts/scheduler/dot/bug-lf-2361.dot b/cts/scheduler/dot/bug-lf-2361.dot
new file mode 100644
index 0000000..730c503
--- /dev/null
+++ b/cts/scheduler/dot/bug-lf-2361.dot
@@ -0,0 +1,40 @@
+ digraph "g" {
+"cl_dummy2_running_0" [ style=dashed color="red" fontcolor="orange"]
+"cl_dummy2_start_0" -> "cl_dummy2_running_0" [ style = dashed]
+"cl_dummy2_start_0" -> "dummy2:0_start_0 alice.demo" [ style = dashed]
+"cl_dummy2_start_0" -> "dummy2:1_start_0 bob.demo" [ style = dashed]
+"cl_dummy2_start_0" [ style=dashed color="red" fontcolor="orange"]
+"dummy2:0_start_0 alice.demo" -> "cl_dummy2_running_0" [ style = dashed]
+"dummy2:0_start_0 alice.demo" [ style=dashed color="red" fontcolor="black"]
+"dummy2:1_start_0 bob.demo" -> "cl_dummy2_running_0" [ style = dashed]
+"dummy2:1_start_0 bob.demo" [ style=dashed color="red" fontcolor="black"]
+"ms_stateful_confirmed-post_notify_running_0" [ style=bold color="green" fontcolor="orange"]
+"ms_stateful_confirmed-pre_notify_start_0" -> "ms_stateful_post_notify_running_0" [ style = bold]
+"ms_stateful_confirmed-pre_notify_start_0" -> "ms_stateful_start_0" [ style = bold]
+"ms_stateful_confirmed-pre_notify_start_0" [ style=bold color="green" fontcolor="orange"]
+"ms_stateful_post_notify_running_0" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
+"ms_stateful_post_notify_running_0" -> "stateful:0_post_notify_start_0 alice.demo" [ style = bold]
+"ms_stateful_post_notify_running_0" -> "stateful:1_post_notify_start_0 bob.demo" [ style = bold]
+"ms_stateful_post_notify_running_0" [ style=bold color="green" fontcolor="orange"]
+"ms_stateful_pre_notify_start_0" -> "ms_stateful_confirmed-pre_notify_start_0" [ style = bold]
+"ms_stateful_pre_notify_start_0" [ style=bold color="green" fontcolor="orange"]
+"ms_stateful_running_0" -> "ms_stateful_post_notify_running_0" [ style = bold]
+"ms_stateful_running_0" [ style=bold color="green" fontcolor="orange"]
+"ms_stateful_start_0" -> "ms_stateful_running_0" [ style = bold]
+"ms_stateful_start_0" -> "stateful:0_start_0 alice.demo" [ style = bold]
+"ms_stateful_start_0" -> "stateful:1_start_0 bob.demo" [ style = bold]
+"ms_stateful_start_0" [ style=bold color="green" fontcolor="orange"]
+"service1_delete_0 alice.demo" [ style=bold color="green" fontcolor="black"]
+"service1_delete_0 bob.demo" [ style=bold color="green" fontcolor="black"]
+"service2:0_delete_0 alice.demo" [ style=bold color="green" fontcolor="black"]
+"service2:0_delete_0 bob.demo" [ style=bold color="green" fontcolor="black"]
+"service2:1_delete_0 bob.demo" [ style=bold color="green" fontcolor="black"]
+"stateful:0_post_notify_start_0 alice.demo" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
+"stateful:0_post_notify_start_0 alice.demo" [ style=bold color="green" fontcolor="black"]
+"stateful:0_start_0 alice.demo" -> "ms_stateful_running_0" [ style = bold]
+"stateful:0_start_0 alice.demo" [ style=bold color="green" fontcolor="black"]
+"stateful:1_post_notify_start_0 bob.demo" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
+"stateful:1_post_notify_start_0 bob.demo" [ style=bold color="green" fontcolor="black"]
+"stateful:1_start_0 bob.demo" -> "ms_stateful_running_0" [ style = bold]
+"stateful:1_start_0 bob.demo" [ style=bold color="green" fontcolor="black"]
+}