diff options
Diffstat (limited to 'cts/scheduler/dot/bug-pm-12.dot')
| -rw-r--r-- | cts/scheduler/dot/bug-pm-12.dot | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/cts/scheduler/dot/bug-pm-12.dot b/cts/scheduler/dot/bug-pm-12.dot new file mode 100644 index 0000000..b1f4737 --- /dev/null +++ b/cts/scheduler/dot/bug-pm-12.dot @@ -0,0 +1,72 @@ + 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:0_stop_0" -> "group:0_stopped_0" [ style = bold] +"group:0_stop_0" -> "stateful-2:0_stop_0 node-b" [ style = bold] +"group:0_stop_0" [ style=bold color="green" fontcolor="orange"] +"group:0_stopped_0" -> "group:0_start_0" [ style = bold] +"group:0_stopped_0" -> "ms-sf_stopped_0" [ style = bold] +"group:0_stopped_0" [ style=bold color="green" fontcolor="orange"] +"group:1_demote_0" -> "group:1_promote_0" [ style = bold] +"group:1_demote_0" -> "stateful-2:1_demote_0 node-a" [ style = bold] +"group:1_demote_0" [ style=bold color="green" fontcolor="orange"] +"group:1_demoted_0" -> "ms-sf_demoted_0" [ style = bold] +"group:1_demoted_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"] +"group:1_stop_0" -> "group:1_stopped_0" [ style = bold] +"group:1_stop_0" -> "stateful-2:1_stop_0 node-a" [ style = bold] +"group:1_stop_0" [ style=bold color="green" fontcolor="orange"] +"group:1_stopped_0" -> "group:1_start_0" [ style = bold] +"group:1_stopped_0" -> "ms-sf_stopped_0" [ style = bold] +"group:1_stopped_0" [ style=bold color="green" fontcolor="orange"] +"ms-sf_demote_0" -> "group:1_demote_0" [ style = bold] +"ms-sf_demote_0" -> "ms-sf_demoted_0" [ style = bold] +"ms-sf_demote_0" [ style=bold color="green" fontcolor="orange"] +"ms-sf_demoted_0" -> "ms-sf_promote_0" [ style = bold] +"ms-sf_demoted_0" -> "ms-sf_start_0" [ style = bold] +"ms-sf_demoted_0" -> "ms-sf_stop_0" [ style = bold] +"ms-sf_demoted_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"] +"ms-sf_stop_0" -> "group:0_stop_0" [ style = bold] +"ms-sf_stop_0" -> "group:1_stop_0" [ style = bold] +"ms-sf_stop_0" -> "ms-sf_stopped_0" [ style = bold] +"ms-sf_stop_0" [ style=bold color="green" fontcolor="orange"] +"ms-sf_stopped_0" -> "ms-sf_promote_0" [ style = bold] +"ms-sf_stopped_0" -> "ms-sf_start_0" [ style = bold] +"ms-sf_stopped_0" [ style=bold color="green" fontcolor="orange"] +"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:0_stop_0 node-b" -> "group:0_stopped_0" [ style = bold] +"stateful-2:0_stop_0 node-b" -> "stateful-2:0_start_0 node-b" [ style = bold] +"stateful-2:0_stop_0 node-b" [ style=bold color="green" fontcolor="black"] +"stateful-2:1_demote_0 node-a" -> "group:1_demoted_0" [ style = bold] +"stateful-2:1_demote_0 node-a" -> "stateful-2:1_stop_0 node-a" [ style = bold] +"stateful-2:1_demote_0 node-a" [ 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"] +"stateful-2:1_stop_0 node-a" -> "group:1_stopped_0" [ style = bold] +"stateful-2:1_stop_0 node-a" -> "stateful-2:1_start_0 node-a" [ style = bold] +"stateful-2:1_stop_0 node-a" [ style=bold color="green" fontcolor="black"] +} |