blob: facc9f7886b682108c19cf266fc10b9342d07e1f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Checking FSM allocation
[0;mTest_FSM(my_id){NULL}: Allocated
[0;mTest_FSM(my_id){NULL}: Received Event EV_B
[0;mTest_FSM(my_id){NULL}: Event EV_B not permitted
[0;mTest_FSM(my_id){NULL}: Received Event EV_A
[0;mTest_FSM(my_id){NULL}: state_chg to ONE
[0;mTest_FSM(my_id){ONE}: Received Event EV_B
[0;mTest_FSM(my_id){ONE}: state_chg to TWO
[0;mTest_FSM(my_id){TWO}: Timeout of T2342
[0;mTimer
[0;mTest_FSM(my_id){TWO}: Deallocated
[0;m
|
