Attention is currently required from: osmith.
1 comment:
File stp/STP_Tests_M3UA.ttcn:
f_M3UA_exp(0, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, c_M3UA_ST_I_AS_ACTIVE, rctxB));
f_M3UA_exp(0, tr_M3UA_DAVA({*}, rctxA));
f_M3UA_exp(0, tr_M3UA_NOTIFY(c_M3UA_ST_T_STATE_CHG, c_M3UA_ST_I_AS_ACTIVE, rctxA));
f_M3UA_exp(0, tr_M3UA_DAVA({*}, rctxB));
is the order in which rctxB and A are used intentional? […]
The fact that they are interleaved is intentional, since activating B generates a DAVA on A and viceversa.
To view, visit change 39646. To unsubscribe, or for help writing mail filters, visit settings.