diff options
Diffstat (limited to 'cts/scheduler/dot/bug-cl-5170.dot')
| -rw-r--r-- | cts/scheduler/dot/bug-cl-5170.dot | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/cts/scheduler/dot/bug-cl-5170.dot b/cts/scheduler/dot/bug-cl-5170.dot new file mode 100644 index 0000000..f3c76f9 --- /dev/null +++ b/cts/scheduler/dot/bug-cl-5170.dot @@ -0,0 +1,12 @@ + digraph "g" { +"ip_mgmt_stop_0 TCS-2" -> "ip_trf_stop_0 TCS-2" [ style = bold] +"ip_mgmt_stop_0 TCS-2" -> "svc_stopped_0" [ style = bold] +"ip_mgmt_stop_0 TCS-2" [ style=bold color="green" fontcolor="black"] +"ip_trf_stop_0 TCS-2" -> "svc_stopped_0" [ style = bold] +"ip_trf_stop_0 TCS-2" [ style=bold color="green" fontcolor="black"] +"svc_stop_0" -> "ip_mgmt_stop_0 TCS-2" [ style = bold] +"svc_stop_0" -> "ip_trf_stop_0 TCS-2" [ style = bold] +"svc_stop_0" -> "svc_stopped_0" [ style = bold] +"svc_stop_0" [ style=bold color="green" fontcolor="orange"] +"svc_stopped_0" [ style=bold color="green" fontcolor="orange"] +} |