Trace Analysis Results for Action t19.unnamed(a178.unnamed)
This text provides more details for action t19.unnamed(a178.unnamed).
Action is of type: undirected interaction, may change variables of several processes.
Action t19.unnamed(a178.unnamed) occurs 2 times, which accounts for 2.00 % of all events.
On average an action occurs 2.94 times, so this action is below average.
Action occurs at position 22 for the first time, at position 36 for the last time.
Note that the action is not(!) present in the last 64 events, which is 64.00% of all events. May be it becomes rare or even dead?
It never follows another action in zero time, there is always a non-zero delay observed before this action occurs.
Enabling Set and State Transformations
The following table shows for what value setting of variables the action occurs and what state transformation it performs.The table shows only those variables that belong to processes that the action corresponds to.
Type 9: Action t19.unnamed(a178.unnamed) is not present in any cycles observed in this trace.
Type 16: Action t19.unnamed(a178.unnamed) may deadlock, because it occurs the last time at event 36 and is not seen for the remaining 64.00 percent of the trace.