| 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 |
| Stefan Sperling | 888dc7d | 2018-02-26 19:17:02 +0100 | [diff] [blame^] | 3 | [0;mTest_FSM(my_id){NULL}: Received Event EV_B |
| 4 | [0;mTest_FSM(my_id){NULL}: Event EV_B not permitted |
| 5 | [0;mTest_FSM(my_id){NULL}: Received Event EV_A |
| Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 6 | [0;mTest_FSM(my_id){NULL}: state_chg to ONE |
| Stefan Sperling | 888dc7d | 2018-02-26 19:17:02 +0100 | [diff] [blame^] | 7 | [0;mTest_FSM(my_id){ONE}: Received Event EV_B |
| Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 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 |