1 files changed, 44 insertions, 0 deletions
diff --git a/cts/scheduler/dot/bug-lf-2453.dot b/cts/scheduler/dot/bug-lf-2453.dot
new file mode 100644
index 0000000..075bd70
--- /dev/null
+++ b/cts/scheduler/dot/bug-lf-2453.dot
@@ -0,0 +1,44 @@
+ digraph "g" {
+"CloneResource1_stop_0" -> "CloneResource1_stopped_0" [ style = bold]
+"CloneResource1_stop_0" -> "apache:0_stop_0 domu2" [ style = bold]
+"CloneResource1_stop_0" -> "apache:1_stop_0 domu1" [ style = bold]
+"CloneResource1_stop_0" [ style=bold color="green" fontcolor="orange"]
+"CloneResource1_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"CloneResource2_running_0" -> "PrimitiveResource1_start_0 domu1" [ style = dashed]
+"CloneResource2_running_0" [ style=dashed color="red" fontcolor="orange"]
+"CloneResource2_start_0" -> "CloneResource2_running_0" [ style = dashed]
+"CloneResource2_start_0" -> "DummyResource:0_start_0 domu2" [ style = dashed]
+"CloneResource2_start_0" -> "DummyResource:1_start_0 domu1" [ style = dashed]
+"CloneResource2_start_0" [ style=dashed color="red" fontcolor="orange"]
+"CloneResource2_stop_0" -> "CloneResource2_stopped_0" [ style = bold]
+"CloneResource2_stop_0" -> "DummyResource:0_stop_0 domu2" [ style = bold]
+"CloneResource2_stop_0" -> "DummyResource:1_stop_0 domu1" [ style = bold]
+"CloneResource2_stop_0" [ style=bold color="green" fontcolor="orange"]
+"CloneResource2_stopped_0" -> "CloneResource1_stop_0" [ style = bold]
+"CloneResource2_stopped_0" -> "CloneResource2_start_0" [ style = dashed]
+"CloneResource2_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"DummyResource:0_monitor_10000 domu2" [ style=dashed color="red" fontcolor="black"]
+"DummyResource:0_start_0 domu2" -> "CloneResource2_running_0" [ style = dashed]
+"DummyResource:0_start_0 domu2" -> "DummyResource:0_monitor_10000 domu2" [ style = dashed]
+"DummyResource:0_start_0 domu2" [ style=dashed color="red" fontcolor="black"]
+"DummyResource:0_stop_0 domu2" -> "CloneResource2_stopped_0" [ style = bold]
+"DummyResource:0_stop_0 domu2" -> "DummyResource:0_start_0 domu2" [ style = dashed]
+"DummyResource:0_stop_0 domu2" [ style=bold color="green" fontcolor="black"]
+"DummyResource:1_monitor_10000 domu1" [ style=dashed color="red" fontcolor="black"]
+"DummyResource:1_start_0 domu1" -> "CloneResource2_running_0" [ style = dashed]
+"DummyResource:1_start_0 domu1" -> "DummyResource:1_monitor_10000 domu1" [ style = dashed]
+"DummyResource:1_start_0 domu1" [ style=dashed color="red" fontcolor="black"]
+"DummyResource:1_stop_0 domu1" -> "CloneResource2_stopped_0" [ style = bold]
+"DummyResource:1_stop_0 domu1" -> "DummyResource:1_start_0 domu1" [ style = dashed]
+"DummyResource:1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
+"PrimitiveResource1_monitor_10000 domu1" [ style=dashed color="red" fontcolor="black"]
+"PrimitiveResource1_start_0 domu1" -> "PrimitiveResource1_monitor_10000 domu1" [ style = dashed]
+"PrimitiveResource1_start_0 domu1" [ style=dashed color="red" fontcolor="black"]
+"PrimitiveResource1_stop_0 domu1" -> "CloneResource2_stop_0" [ style = bold]
+"PrimitiveResource1_stop_0 domu1" -> "PrimitiveResource1_start_0 domu1" [ style = dashed]
+"PrimitiveResource1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
+"apache:0_stop_0 domu2" -> "CloneResource1_stopped_0" [ style = bold]
+"apache:0_stop_0 domu2" [ style=bold color="green" fontcolor="black"]
+"apache:1_stop_0 domu1" -> "CloneResource1_stopped_0" [ style = bold]
+"apache:1_stop_0 domu1" [ style=bold color="green" fontcolor="black"]
+}