Checking FSM allocation | |
[0;mTest FSM{NULL}: Allocated | |
[0;mTest FSM{NULL}: Received Event 1 | |
[0;mTest FSM(NULL): Event 1 not permitted | |
[0;mTest FSM{NULL}: Received Event 0 | |
[0;mTest FSM{NULL}: state_chg to ONE | |
[0;mTest FSM{ONE}: Received Event 1 | |
[0;mTest FSM{ONE}: state_chg to TWO | |
[0;mTest FSM{TWO}: Timeout of T2342 | |
[0;mTimer | |
[0;m |