Trace Analysis Results for Action Link connecting node 1 to node 2 went down(1L2_DOWN)
This text provides more details for action Link connecting node 1 to node 2 went down(1L2_DOWN).
Action is of type: local, supposed to change variables of a single process only.
Action Link connecting node 1 to node 2 went down(1L2_DOWN) occurs 0 times, which accounts for 0.00 % of all events.
On average an action occurs 10.20 times, so this action is below average.
List of Warnings
- Type 5: Action Link connecting node 1 to node 2 went down(1L2_DOWN) is declared, but does not occur in the trace.
- Type 9: Action Link connecting node 1 to node 2 went down(1L2_DOWN) is not present in any cycles observed in this trace.