| Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 1 | Checking FSM allocation |
| Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 2 | [0;mTest_FSM(my_id){NULL}: Allocated |
| 3 | [0;mTest_FSM(my_id){NULL}: Received Event 1 |
| 4 | [0;mTest_FSM(my_id){NULL}: Event 1 not permitted |
| 5 | [0;mTest_FSM(my_id){NULL}: Received Event 0 |
| 6 | [0;mTest_FSM(my_id){NULL}: state_chg to ONE |
| 7 | [0;mTest_FSM(my_id){ONE}: Received Event 1 |
| 8 | [0;mTest_FSM(my_id){ONE}: state_chg to TWO |
| 9 | [0;mTest_FSM(my_id){TWO}: Timeout of T2342 |
| Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 10 | [0;mTimer |
| 11 | [0;m |