Trace Analysis Results for Action failure(4)
This text provides more details for action failure(4).
Action is of type: undirected interaction, may change variables of several processes.
Action failure(4) occurs 6 times, which accounts for 0.11 % of all events.
On average an action occurs 456.08 times, so this action is below average.
Action occurs at position 34 for the first time, at position 4544 for the last time.
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.
List of Warnings
There are no specific warnings for this action.